Searched refs:VMCS_ENC_WIDTH_32BIT (Results 1 – 1 of 1) sorted by relevance
112 #define VMCS_ENC_WIDTH_32BIT (2UL << 13) in tdvps_vmcs_check() macro122 VMCS_ENC_WIDTH(field) == VMCS_ENC_WIDTH_32BIT, in tdvps_vmcs_check()