Searched refs:read_ctl (Results 1 – 1 of 1) sorted by relevance
111 u64 (*read_ctl)(void); member122 .read_ctl = read_vtimer_ctl,133 .read_ctl = read_ptimer_ctl,173 return (info->read_ctl() & ARCH_TIMER_CTL_ENABLE) && in timer_pending()174 (info->read_ctl() & ARCH_TIMER_CTL_ISTATUS); in timer_pending()354 ptimer_info.read_ctl(); in test_init()378 printf("CNTP_CTL_EL0 : 0x%016lx\n", ptimer_info.read_ctl()); in print_timer_info()383 printf("CNTV_CTL_EL0 : 0x%016lx\n", vtimer_info.read_ctl()); in print_timer_info()