Searched refs:VMX_EPTP_PWL_4 (Results 1 – 3 of 3) sorted by relevance
481 #define VMX_EPTP_PWL_4 0x18ull macro
2481 if (CC((address & VMX_EPTP_PWL_MASK) != VMX_EPTP_PWL_4)) in valid_ept_address()
2985 eptp |= (get_ept_level(vcpu) == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4; in construct_eptp()