DMI_IPMI_IO_MASK  163 drivers/char/ipmi/ipmi_dmi.c 				base_addr &= DMI_IPMI_IO_MASK;
DMI_IPMI_IO_MASK  206 drivers/char/ipmi/ipmi_dmi.c 		base_addr = base_addr & DMI_IPMI_IO_MASK;