Do any of you know what brand/type of chili pepper flakes Thai restaurants use?

I'm speaking a couple of pinch of the flakes burning your tongue off kind of Thai eating place chili flakes.

Usually restaurants use the flakes as a scale for spiciness.