343 				   unsigned long active_mask)  in disable_iscs()  argument
349 			active_mask &= ~(1UL << (isc_to_irq_type(i)));  in disable_iscs()
351 	return active_mask;  in disable_iscs()
356 	unsigned long active_mask;  in deliverable_irqs()  local
358 	active_mask = pending_irqs(vcpu);  in deliverable_irqs()
359 	if (!active_mask)  in deliverable_irqs()
363 		active_mask &= ~IRQ_PEND_EXT_MASK;  in deliverable_irqs()
365 		active_mask &= ~IRQ_PEND_IO_MASK;  in deliverable_irqs()
367 		active_mask = disable_iscs(vcpu, active_mask);  in deliverable_irqs()
369 		__clear_bit(IRQ_PEND_EXT_EXTERNAL, &active_mask);  in deliverable_irqs()
371 		__clear_bit(IRQ_PEND_EXT_EMERGENCY, &active_mask);  in deliverable_irqs()
373 		__clear_bit(IRQ_PEND_EXT_CLOCK_COMP, &active_mask);  in deliverable_irqs()
375 		__clear_bit(IRQ_PEND_EXT_CPU_TIMER, &active_mask);  in deliverable_irqs()
377 		__clear_bit(IRQ_PEND_EXT_SERVICE, &active_mask);  in deliverable_irqs()
378 		__clear_bit(IRQ_PEND_EXT_SERVICE_EV, &active_mask);  in deliverable_irqs()
381 		active_mask &= ~IRQ_PEND_MCHK_MASK;  in deliverable_irqs()
385 		active_mask &= ~(IRQ_PEND_EXT_II_MASK |  in deliverable_irqs()
395 		__clear_bit(IRQ_PEND_MCHK_REP, &active_mask);  in deliverable_irqs()
401 	__clear_bit(IRQ_PEND_SIGP_STOP, &active_mask);  in deliverable_irqs()
403 	return active_mask;  in deliverable_irqs()
1741 	unsigned long active_mask;  in get_top_gisa_isc()  local
1749 	active_mask = (isc_mask & gisa_get_ipm(gi->origin) << 24) << 32;  in get_top_gisa_isc()
1750 	while (active_mask) {  in get_top_gisa_isc()
1751 		isc = __fls(active_mask) ^ (BITS_PER_LONG - 1);  in get_top_gisa_isc()
1754 		clear_bit_inv(isc, &active_mask);  in get_top_gisa_isc()