356 				   unsigned long active_mask)  in disable_iscs()  argument
362 			active_mask &= ~(1UL << (isc_to_irq_type(i)));  in disable_iscs()
364 	return active_mask;  in disable_iscs()
369 	unsigned long active_mask;  in deliverable_irqs()  local
371 	active_mask = pending_irqs(vcpu);  in deliverable_irqs()
372 	if (!active_mask)  in deliverable_irqs()
376 		active_mask &= ~IRQ_PEND_EXT_MASK;  in deliverable_irqs()
378 		active_mask &= ~IRQ_PEND_IO_MASK;  in deliverable_irqs()
380 		active_mask = disable_iscs(vcpu, active_mask);  in deliverable_irqs()
382 		__clear_bit(IRQ_PEND_EXT_EXTERNAL, &active_mask);  in deliverable_irqs()
384 		__clear_bit(IRQ_PEND_EXT_EMERGENCY, &active_mask);  in deliverable_irqs()
386 		__clear_bit(IRQ_PEND_EXT_CLOCK_COMP, &active_mask);  in deliverable_irqs()
388 		__clear_bit(IRQ_PEND_EXT_CPU_TIMER, &active_mask);  in deliverable_irqs()
390 		__clear_bit(IRQ_PEND_EXT_SERVICE, &active_mask);  in deliverable_irqs()
391 		__clear_bit(IRQ_PEND_EXT_SERVICE_EV, &active_mask);  in deliverable_irqs()
394 		active_mask &= ~IRQ_PEND_MCHK_MASK;  in deliverable_irqs()
398 		active_mask &= ~(IRQ_PEND_EXT_II_MASK |  in deliverable_irqs()
408 		__clear_bit(IRQ_PEND_MCHK_REP, &active_mask);  in deliverable_irqs()
414 	__clear_bit(IRQ_PEND_SIGP_STOP, &active_mask);  in deliverable_irqs()
416 	return active_mask;  in deliverable_irqs()
1739 	unsigned long active_mask;  in get_top_gisa_isc()  local
1747 	active_mask = (isc_mask & gisa_get_ipm(gi->origin) << 24) << 32;  in get_top_gisa_isc()
1748 	while (active_mask) {  in get_top_gisa_isc()
1749 		isc = __fls(active_mask) ^ (BITS_PER_LONG - 1);  in get_top_gisa_isc()
1752 		clear_bit_inv(isc, &active_mask);  in get_top_gisa_isc()