|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include <hpet.h>
Public Attributes | |
| volatile uint32 | config |
| volatile uint32 | int_route |
| union { | |
| volatile uint32 comp [2] | |
| volatile uint64 comp64 | |
| }; | |
| volatile uint32 | msi [2] |
| uint32 | res [2] |
| union { ... } |
| volatile uint32 BasicHpet::HostHpetTimer::comp[2] |
| volatile uint64 BasicHpet::HostHpetTimer::comp64 |
| volatile uint32 BasicHpet::HostHpetTimer::config |
| volatile uint32 BasicHpet::HostHpetTimer::int_route |
| volatile uint32 BasicHpet::HostHpetTimer::msi[2] |
| uint32 BasicHpet::HostHpetTimer::res[2] |