/linux/include/config/cpu/has/

• ../
• asid.h