Lines Matching refs:uint64_t
18 static uint64_t HPET_REG_BASE = 0;
20 static uint64_t HPET_freq = 0; // 主计时器频率
25 static uint64_t test_tsc_start = 0;
26 static uint64_t test_tsc_end = 0;
27 extern uint64_t Cpu_tsc_freq; // 导出自cpu.c
64 void HPET_handler(uint64_t number, uint64_t param, struct pt_regs *regs) in HPET_handler()
105 void HPET_measure_handler(uint64_t number, uint64_t param, struct pt_regs *regs) in HPET_measure_handler()
122 const uint64_t interval = APIC_TIMER_INTERVAL; // 测量给定时间内的计数 in HPET_measure_freq()
129 uint64_t clks_to_intr = 0.001 * interval * HPET_freq; in HPET_measure_freq()
170 *(uint64_t *)(HPET_REG_BASE + GEN_CONF) = 0; // 停用HPET定时器 in HPET_measure_freq()
190 uint64_t clks_to_intr = 0.000001 * HPET0_INTERVAL * HPET_freq; in HPET_enable()
234 uint64_t hptc_vaddr = (RCBA_vaddr + 0x3404UL); in HPET_init()
278 uint64_t tmp; in HPET_init()