Searched refs:timer_freq (Results 1 – 1 of 1) sorted by relevance
39 static uint64_t timer_freq; variable45 timer_freq = READ_SPECIALREG(cntfrq_el0); in efi_time_init()58 t = READ_SPECIALREG(cntvct_el0) / timer_freq; in time()