Searched refs:allowed_irqs (Results 1 – 1 of 1) sorted by relevance
403 uint32_t allowed_irqs; in vhpet_timer_update_config() local430 allowed_irqs = vhpet->timer[n].cap_config >> 32; in vhpet_timer_update_config()432 if (new_pin != 0 && (allowed_irqs & (1 << new_pin)) == 0) { in vhpet_timer_update_config()434 "allowed_irqs 0x%08x", n, new_pin, allowed_irqs); in vhpet_timer_update_config()711 uint64_t allowed_irqs; in vhpet_init() local724 allowed_irqs = 0xff000000; /* irqs 24-31 */ in vhpet_init()726 allowed_irqs = 0xf << (pincount - 4); /* 4 upper irqs */ in vhpet_init()728 allowed_irqs = 0; in vhpet_init()734 vhpet->timer[i].cap_config = allowed_irqs << 32; in vhpet_init()