GT_HYP_PHYS
.idx = GT_HYP_PHYS,
arm_tmr_acpi_add_irq(parent, dev, GT_HYP_PHYS,
first_timer = GT_HYP_PHYS;
last_timer = GT_HYP_PHYS;