/sys/contrib/xen/arch-arm/

• ../
• hvm
• smccc.h