Traditionally whole dried Sichuan chili peppers are used.  Regular red pepper chili flakes work in place of the whole peppers.