Searched refs:el1_arch_timer_regs_t (Results 1 – 1 of 1) sorted by relevance
68 } el1_arch_timer_regs_t; typedef130 el1_arch_timer_regs_t arch_timer;