Searched refs:MASK_HIGH_32bit (Results 1 – 2 of 2) sorted by relevance
185 acpi_RSDT_entry_phys_base = MASK_HIGH_32bit(acpi_RSDT_entry_phys_base); in acpi_init()224 acpi_RSDT_entry_phys_base = MASK_HIGH_32bit(acpi_RSDT_entry_phys_base); in acpi_init()
47 #define MASK_HIGH_32bit(x) (x & (0x00000000ffffffffUL)) macro