Lines Matching refs:uint64_t
42 uint64_t GCAP_ID; /* General capabilities */
43 uint64_t rsv1;
44 uint64_t GEN_CONF; /* General configuration */
45 uint64_t rsv2;
46 uint64_t GINTR_STA; /* General Interrupt status */
47 uint64_t rsv3[25];
48 uint64_t MAIN_CNT; /* Main counter */
49 uint64_t rsv4;
50 uint64_t TIM0_CONF; /* Timer 0 config and cap */
53 uint64_t TIM0_COMP; /* Timer 0 comparator */
55 uint64_t rsv5[2];
56 uint64_t TIM1_CONF; /* Timer 1 config and cap */
57 uint64_t TIM1_COMP; /* Timer 1 comparator */
58 uint64_t rsv6[2];
59 uint64_t TIM2_CONF; /* Timer 2 config and cap */
60 uint64_t TIM2_COMP; /* Timer 2 comparator */
61 uint64_t rsv7[2];
66 uint64_t Config; /* Timer config and capabilities */
67 uint64_t Compare; /* Timer comparitor */
72 uint64_t hpetCvtt2n;
73 uint64_t hpetCvtn2t;
74 uint64_t tsc2hpet;
75 uint64_t hpet2tsc;
76 uint64_t bus2hpet;
77 uint64_t hpet2bus;
93 extern uint64_t hpetFemto;
94 extern uint64_t hpetFreq;
95 extern uint64_t hpetCvtt2n;
96 extern uint64_t hpetCvtn2t;
97 extern uint64_t tsc2hpet;
98 extern uint64_t hpet2tsc;
99 extern uint64_t bus2hpet;
100 extern uint64_t hpet2bus;
118 extern uint64_t rdHPET(void);