HardenedBSD/sys/xen/interface/arch-arm
..
hvm
smccc.h