What is to pound, pulverize, bray, or mix with a pestle, or as with a pestle; to use a pestle called?

pestle — To pound, pulverize, bray, or mix with a pestle, or as with a pestle; to use a pestle. (Webster's 1913.)

Sources