Searched refs:xctl (Results 1 – 1 of 1) sorted by relevance
122 unsigned long xctl = 0; in guest_validate_irq() local127 xctl = timer_get_ctl(VIRTUAL); in guest_validate_irq()134 xctl = timer_get_ctl(PHYSICAL); in guest_validate_irq()150 GUEST_ASSERT_1(xctl & CTL_ISTATUS, xctl); in guest_validate_irq()
