|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Public Member Functions | |
| bool | receive (MessageBios &msg) |
| VirtualBiosTime (Motherboard &mb) | |
Public Member Functions inherited from StaticReceiver< VirtualBiosTime > | |
| StaticReceiver () | |
Public Member Functions inherited from Device | |
| void | debug_dump () |
| Device (const char *debug_name) | |
Private Member Functions | |
| unsigned char | tobcd (unsigned char v) |
| bool | handle_int08 (MessageBios &msg) |
| Handle the HW timer IRQ. | |
| bool | handle_int1a (MessageBios &msg) |
| Time INT handler. | |
Additional Inherited Members | |
Public Types inherited from BiosCommon | |
| enum | { RESET_VECTOR = 0x100, MAX_VECTOR } |
Static Public Member Functions inherited from StaticReceiver< VirtualBiosTime > | |
| static bool | receive_static (Device *o, M &msg) |
Static Public Member Functions inherited from DiscoveryHelper< BiosCommon > | |
| static bool | discover (Device *o, MessageDiscovery &msg) |
Public Attributes inherited from BiosCommon | |
| Motherboard & | _mb |
Protected Member Functions inherited from BiosCommon | |
| void | write_bda (unsigned short offset, unsigned value, unsigned len) |
| Write bios data helper. | |
| unsigned | read_bda (unsigned offset) |
| Read bios data helper. | |
| bool | jmp_int (MessageBios &msg, unsigned char number) |
| Jump to another realmode INT handler. | |
| bool | jmp_hlt (MessageBios &msg) |
| void | error (MessageBios &msg, unsigned char errorcode) |
| Set the usual error indication. | |
| void | outb (unsigned short port, unsigned value) |
| Out to IO-port. | |
| BiosCommon (Motherboard &mb) | |
|
inline |
|
inlineprivate |
Handle the HW timer IRQ.
|
inlineprivate |
Time INT handler.
|
inline |
|
inlineprivate |