/
ˈgav(ə)l/
n.
a small hammer with which an auctioneer, judge, etc., hits a surface to call for attention or order.
v.
(gavels, gavelling, gavelled; US gavels, gaveling, gaveled)
bring to order by use of a gavel.
Etymology
C19 (in the sense ‘stonemason's mallet’): of unknown origin.