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