Microvm.h

Go to the documentation of this file.

 
#ifndef __MICROVM_H__
#define __MICROVM_H__
 
#define MICROVM_PSEUDO_DEVICE_ID  0xfff1
 
/* generic event device */
#define MICROVM_GED_MMIO_BASE           0xfea00000
#define MICROVM_GED_MMIO_BASE_REGS      (MICROVM_GED_MMIO_BASE + 0x200)
#define MICROVM_ACPI_GED_REG_SLEEP_CTL  0x00
#define MICROVM_ACPI_GED_REG_RESET      0x02
#define MICROVM_ACPI_GED_RESET_VALUE    0x42
 
#endif // __MICROVM_H__