308 			    u32 enabled_irq_mask)  in ilk_update_display_irq()  argument
314 	WARN_ON(enabled_irq_mask & ~interrupt_mask);  in ilk_update_display_irq()
321 	new_val |= (~enabled_irq_mask & interrupt_mask);  in ilk_update_display_irq()
512 				u32 enabled_irq_mask)  in bdw_update_port_irq()  argument
519 	WARN_ON(enabled_irq_mask & ~interrupt_mask);  in bdw_update_port_irq()
528 	new_val |= (~enabled_irq_mask & interrupt_mask);  in bdw_update_port_irq()
546 			 u32 enabled_irq_mask)  in bdw_update_pipe_irq()  argument
552 	WARN_ON(enabled_irq_mask & ~interrupt_mask);  in bdw_update_pipe_irq()
559 	new_val |= (~enabled_irq_mask & interrupt_mask);  in bdw_update_pipe_irq()
576 				  u32 enabled_irq_mask)  in ibx_display_interrupt_update()  argument
580 	sdeimr |= (~enabled_irq_mask & interrupt_mask);  in ibx_display_interrupt_update()
582 	WARN_ON(enabled_irq_mask & ~interrupt_mask);  in ibx_display_interrupt_update()