/xen/arch/x86/include/asm/hvm/svm/