VMX_EPTP_PWL_4
WARN_ON_ONCE(encoded_level != VMX_EPTP_PWL_4);
case VMX_EPTP_PWL_4:
td_params->eptp_controls |= VMX_EPTP_PWL_4;
return eptp | VMX_EPTP_PWL_4;
eptp |= (root->role.level == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4;