VMX_EPTP_PWL_MASK
u64 encoded_level = eptp & VMX_EPTP_PWL_MASK;
switch (new_eptp & VMX_EPTP_PWL_MASK) {