Searched defs:cntpct_el0 (Results 1 – 1 of 1) sorted by relevance
69 uint64_t cntpct_el0; in vtimer_virtual_timer_intr() local238 uint64_t cntpct_el0; in vtimer_sync_hwstate() local281 uint64_t cntpct_el0; in vtimer_schedule_irq() local342 uint64_t cntpct_el0; in vtimer_phys_ctl_read() local442 uint32_t cntpct_el0; in vtimer_phys_tval_read() local471 uint64_t cntpct_el0; in vtimer_phys_tval_write() local