VIRT_ACCESS
case VIRT_ACCESS:
int offset_lo = t->access == VIRT_ACCESS ? CNTVCT_LO : CNTPCT_LO;
at->access = VIRT_ACCESS;
irq = at->access == VIRT_ACCESS ? frame->virt_irq : frame->phys_irq;
at->access == VIRT_ACCESS ? "virt" : "phys");
case VIRT_ACCESS: