16 __attribute__((regparm(0))) void vmread_error_trampoline(unsigned long field,
26 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_check16()
28 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check16()
30 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_check16()
32 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check16()
38 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_check32()
40 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check32()
46 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_check64()
48 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check64()
50 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_check64()
52 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check64()
58 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_checkl()
60 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_checkl()
62 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_checkl()
64 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_checkl()
73 		     ".byte 0x3e\n\t" /* branch taken hint */  in __vmcs_readl()
77 		      * VMREAD failed.  Push '0' for @fault, push the failing  in __vmcs_readl()
81 		     "push $0\n\t"  in __vmcs_readl()
87 		      * memory for @fault so that the result is '0' on error.  in __vmcs_readl()
142 	asm_volatile_goto("1: " __stringify(insn) " %0\n\t"		\
143 			  ".byte 0x2e\n\t" /* branch not taken hint */	\
155 } while (0)
159 	asm_volatile_goto("1: "  __stringify(insn) " %1, %0\n\t"	\
160 			  ".byte 0x2e\n\t" /* branch not taken hint */	\
172 } while (0)
220 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x2000,  in vmcs_clear_bits()
230 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x2000,  in vmcs_set_bits()
261 	} operand = { vpid, 0, gva };  in __invvpid()
277 	if (vpid == 0)  in vpid_sync_vcpu_single()
280 	__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);  in vpid_sync_vcpu_single()
285 	__invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0);  in vpid_sync_vcpu_global()
292 	else if (vpid != 0)  in vpid_sync_context()
298 	if (vpid == 0)  in vpid_sync_vcpu_addr()
309 	__invept(VMX_EPT_EXTENT_GLOBAL, 0, 0);  in ept_sync_global()
315 		__invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0);  in ept_sync_context()