map_gt_gsi
return map_gt_gsi(gtdt->non_secure_el1_interrupt,
return map_gt_gsi(gtdt->virtual_timer_interrupt,
return map_gt_gsi(gtdt->non_secure_el2_interrupt,
frame->phys_irq = map_gt_gsi(gtdt_frame->timer_interrupt,
map_gt_gsi(gtdt_frame->virtual_timer_interrupt,
irq = map_gt_gsi(wd->timer_interrupt, wd->timer_flags);