|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Reboot the host machine. More...
Public Types | |
| enum | { METHOD_KEYBOARD, METHOD_FASTGATE, METHOD_PCIRESET, METHOD_ACPI } |
Public Member Functions | |
| bool | init (Motherboard &mb) |
| Request all the resources that are needed. | |
| bool | receive (MessageConsole &msg) |
| HostReboot (DBus< MessageHwIOIn > &bus_hwioin, DBus< MessageHwIOOut > &bus_hwioout, unsigned method) | |
Public Member Functions inherited from StaticReceiver< HostReboot > | |
| StaticReceiver () | |
Public Member Functions inherited from Device | |
| void | debug_dump () |
| Device (const char *debug_name) | |
Public Attributes | |
| unsigned | _method |
| unsigned char | _acpi_method |
| unsigned char | _acpi_value |
| unsigned long long | _acpi_address |
Additional Inherited Members | |
Static Public Member Functions inherited from StaticReceiver< HostReboot > | |
| static bool | receive_static (Device *o, M &msg) |
Reboot the host machine.
State: unstable Features: loop, keyboard, fastgate, PCI reset, ACPI reset methods (MMIO, IOIO, PCI0) Missing: disable VMX, keyboard-wait-loop
|
inline |
|
inline |
Request all the resources that are needed.
|
inline |
| unsigned long long HostReboot::_acpi_address |
| unsigned char HostReboot::_acpi_method |
| unsigned char HostReboot::_acpi_value |
| unsigned HostReboot::_method |