IPMI_BT_INTMASK_ENABLE_IRQ_BIT  524 drivers/char/ipmi/ipmi_si_intf.c 	irqstate &= IPMI_BT_INTMASK_ENABLE_IRQ_BIT;
IPMI_BT_INTMASK_ENABLE_IRQ_BIT  531 drivers/char/ipmi/ipmi_si_intf.c 				     IPMI_BT_INTMASK_ENABLE_IRQ_BIT);
IPMI_BT_INTMASK_ENABLE_IRQ_BIT 1138 drivers/char/ipmi/ipmi_si_intf.c 				     | IPMI_BT_INTMASK_ENABLE_IRQ_BIT);
IPMI_BT_INTMASK_ENABLE_IRQ_BIT 1258 drivers/char/ipmi/ipmi_si_intf.c 			    IPMI_BT_INTMASK_ENABLE_IRQ_BIT);