Searched refs:VMCS_ENC_WIDTH_64BIT (Results 1 – 1 of 1) sorted by relevance
111 #define VMCS_ENC_WIDTH_64BIT (1UL << 13) in tdvps_vmcs_check() macro118 (VMCS_ENC_WIDTH(field) == VMCS_ENC_WIDTH_64BIT || in tdvps_vmcs_check()