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