Searched refs:xctl (Results 1 – 1 of 1) sorted by relevance
123 unsigned long xctl = 0; in guest_validate_irq() local146 xctl = timer_get_ctl(accessor); in guest_validate_irq()147 if ((xctl & CTL_IMASK) || !(xctl & CTL_ENABLE)) in guest_validate_irq()163 __GUEST_ASSERT(xctl & CTL_ISTATUS, "xcnt = 0x%llx", xcnt); in guest_validate_irq()