Searched refs:xctl (Results 1 – 1 of 1) sorted by relevance
60 unsigned long xctl = 0; in guest_validate_irq() local83 xctl = timer_get_ctl(accessor); in guest_validate_irq()84 if ((xctl & CTL_IMASK) || !(xctl & CTL_ENABLE)) in guest_validate_irq()100 __GUEST_ASSERT(xctl & CTL_ISTATUS, "xctl = 0x%lx", xctl); in guest_validate_irq()