Mill:

A downhole tool with rough, sharp, extremely hard cutting surfaces for removing metal by grinding or cutting.

Mills are run on drill pipe or tubing to grind up debris in the hole, remove stuck portions of drill stem or sections of casing for sidetracking, and ream out tight spots in the casing.

They are also called junk mills, reaming mills, and so forth, depending on what use they have.