Public Attributes | |
int | type |
struct timer * | timer |
struct interrupt | timer0_irq |
int | interrupt_hz |
int | pending_timer0_interrupts |
uint32_t | decode [GT_N_DECODE_REGS] |
struct pci_data * | pci_data |
uint32_t gt_data::decode[GT_N_DECODE_REGS] |
Definition at line 69 of file dev_gt.cc.
Referenced by dev_gt_init(), and DEVICE_ACCESS().
int gt_data::interrupt_hz |
Definition at line 65 of file dev_gt.cc.
Referenced by DEVICE_ACCESS().
struct pci_data* gt_data::pci_data |
Definition at line 71 of file dev_gt.cc.
Referenced by dev_gt_init().
int gt_data::pending_timer0_interrupts |
Definition at line 66 of file dev_gt.cc.
Referenced by DEVICE_ACCESS(), and DEVICE_TICK().
struct timer* gt_data::timer |
Definition at line 63 of file dev_gt.cc.
Referenced by DEVICE_ACCESS().
struct interrupt gt_data::timer0_irq |
Definition at line 64 of file dev_gt.cc.
Referenced by dev_gt_init(), DEVICE_ACCESS(), and DEVICE_TICK().
int gt_data::type |
Definition at line 61 of file dev_gt.cc.
Referenced by dev_gt_init().