rock dust

noun

1. a crushed limestone sprayed on surfaces in mines to make coal dust incombustible in case of a gas explosion.