audk/OvmfPkg/Include/IndustryStandard/Xen/arch-arm
..
xen.h