mmio_base_high 75 drivers/dma/acpi-dma.c si->mmio_base_high != upper_32_bits(mem) || mmio_base_high 359 include/acpi/actbl1.h u32 mmio_base_high;