14 __attribute__((regparm(0))) void vmread_error_trampoline(unsigned long field,
24 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_check16()
26 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check16()
28 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_check16()
30 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check16()
36 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_check32()
38 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_check32()
40 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check32()
42 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check32()
48 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_check64()
50 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check64()
52 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_check64()
54 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check64()
60 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_checkl()
62 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_checkl()
64 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_checkl()
66 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_checkl()
75 		     ".byte 0x3e\n\t" /* branch taken hint */  in __vmcs_readl()
79 		      * VMREAD failed.  Push '0' for @fault, push the failing  in __vmcs_readl()
83 		     "push $0\n\t"  in __vmcs_readl()
89 		      * memory for @fault so that the result is '0' on error.  in __vmcs_readl()
144 	asm_volatile_goto("1: " __stringify(insn) " %0\n\t"		\
145 			  ".byte 0x2e\n\t" /* branch not taken hint */	\
157 } while (0)
161 	asm_volatile_goto("1: "  __stringify(insn) " %1, %0\n\t"	\
162 			  ".byte 0x2e\n\t" /* branch not taken hint */	\
174 } while (0)
222 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x2000,  in vmcs_clear_bits()
232 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x2000,  in vmcs_set_bits()
263 	} operand = { vpid, 0, gva };  in __invvpid()
279 	if (vpid == 0)  in vpid_sync_vcpu_single()
282 	__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);  in vpid_sync_vcpu_single()
287 	__invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0);  in vpid_sync_vcpu_global()
294 	else if (vpid != 0)  in vpid_sync_context()
300 	if (vpid == 0)  in vpid_sync_vcpu_addr()
311 	__invept(VMX_EPT_EXTENT_GLOBAL, 0, 0);  in ept_sync_global()
317 		__invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0);  in ept_sync_context()