BaseResetShutdownBhyve.c

Go to the documentation of this file.

 
#include <Base.h>                   // BIT13
 
#include <IndustryStandard/Bhyve.h> // BHYVE_PM_REG
#include <Library/BaseLib.h>        // CpuDeadLoop()
#include <Library/IoLib.h>          // IoOr16()
#include <Library/ResetSystemLib.h> // ResetShutdown()
 
VOID
EFIAPI
ResetShutdown (
  VOID
  )
{
  IoBitFieldWrite16 (BHYVE_PM_REG, 10, 13, 5);
  IoOr16 (BHYVE_PM_REG, BIT13);
  CpuDeadLoop ();
}