45 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_check16()
47 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check16()
49 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_check16()
51 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check16()
57 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_check32()
59 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_check32()
61 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check32()
63 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check32()
69 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_check64()
71 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_check64()
73 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_check64()
75 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x6000,  in vmcs_check64()
81 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0,  in vmcs_checkl()
83 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2000,  in vmcs_checkl()
85 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6001) == 0x2001,  in vmcs_checkl()
87 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x4000,  in vmcs_checkl()
113 	return 0;  in __vmcs_readl()
117 	return 0;  in __vmcs_readl()
122 		     ".byte 0x3e\n\t" /* branch taken hint */  in __vmcs_readl()
126 		      * VMREAD failed.  Push '0' for @fault, push the failing  in __vmcs_readl()
138 		      * memory for @fault so that the result is '0' on error.  in __vmcs_readl()
191 	asm goto("1: " __stringify(insn) " %0\n\t"			\
192 			  ".byte 0x2e\n\t" /* branch not taken hint */	\
204 } while (0)
208 	asm goto("1: "  __stringify(insn) " %1, %0\n\t"			\
209 			  ".byte 0x2e\n\t" /* branch not taken hint */	\
221 } while (0)
269 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x2000,  in vmcs_clear_bits()
279 	BUILD_BUG_ON_MSG(__builtin_constant_p(field) && ((field) & 0x6000) == 0x2000,  in vmcs_set_bits()
310 	} operand = { vpid, 0, gva };  in __invvpid()
326 	if (vpid == 0)  in vpid_sync_vcpu_single()
329 	__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);  in vpid_sync_vcpu_single()
334 	__invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0);  in vpid_sync_vcpu_global()
341 	else if (vpid != 0)  in vpid_sync_context()
347 	if (vpid == 0)  in vpid_sync_vcpu_addr()
358 	__invept(VMX_EPT_EXTENT_GLOBAL, 0, 0);  in ept_sync_global()
364 		__invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0);  in ept_sync_context()