Definitions Found:

GAVEL, to signal for attention with a gavel (a small mallet)