2270 static CPAccessResult gt_counter_access(CPUARMState *env, int timeridx,  in gt_counter_access()
2308 static CPAccessResult gt_timer_access(CPUARMState *env, int timeridx,  in gt_timer_access()
2459 static void gt_update_irq(ARMCPU *cpu, int timeridx)  in gt_update_irq()
2503 static uint64_t gt_indirect_access_timer_offset(CPUARMState *env, int timeridx)  in gt_indirect_access_timer_offset()
2531 uint64_t gt_direct_access_timer_offset(CPUARMState *env, int timeridx)  in gt_direct_access_timer_offset()
2579 static void gt_recalc_timer(ARMCPU *cpu, int timeridx)  in gt_recalc_timer()
2642                            int timeridx)  in gt_timer_reset()
2662                           int timeridx,  in gt_cval_write()
2670 static uint64_t do_tval_read(CPUARMState *env, int timeridx, uint64_t offset)  in do_tval_read()
2677                              int timeridx)  in gt_tval_read()
2684 static void do_tval_write(CPUARMState *env, int timeridx, uint64_t value,  in do_tval_write()
2694                           int timeridx,  in gt_tval_write()
2703                          int timeridx,  in gt_ctl_write()
2779     int timeridx = gt_phys_redir_timeridx(env);  in gt_phys_redir_cval_read()  local
2786     int timeridx = gt_phys_redir_timeridx(env);  in gt_phys_redir_cval_write()  local
2793     int timeridx = gt_phys_redir_timeridx(env);  in gt_phys_redir_tval_read()  local
2800     int timeridx = gt_phys_redir_timeridx(env);  in gt_phys_redir_tval_write()  local
2807     int timeridx = gt_phys_redir_timeridx(env);  in gt_phys_redir_ctl_read()  local
2814     int timeridx = gt_phys_redir_timeridx(env);  in gt_phys_redir_ctl_write()  local
2910     int timeridx = gt_virt_redir_timeridx(env);  in gt_virt_redir_cval_read()  local
2917     int timeridx = gt_virt_redir_timeridx(env);  in gt_virt_redir_cval_write()  local
2924     int timeridx = gt_virt_redir_timeridx(env);  in gt_virt_redir_tval_read()  local
2931     int timeridx = gt_virt_redir_timeridx(env);  in gt_virt_redir_tval_write()  local
2938     int timeridx = gt_virt_redir_timeridx(env);  in gt_virt_redir_ctl_read()  local
2945     int timeridx = gt_virt_redir_timeridx(env);  in gt_virt_redir_ctl_write()  local