/* The function checks whether SEV-SNP guest is booted under VMPL0. */
STATIC BOOLEAN SevSnpIsVmpl0(VOID)
/* The function checks whether SEV-SNP guest is booted under VMPL0. */
STATIC BOOLEAN SevSnpIsVmpl0(VOID)
{
  UINT64      Rdx;
  EFI_STATUS  Status;
  Rdx = 1;
  Status = AsmRmpAdjust ((UINT64)gVmpl0Data, 0, Rdx);
  if (EFI_ERROR (Status)) {
    return FALSE;
  }
  return TRUE;
}