Home
last modified time | relevance | path

Searched refs:MASK_HIGH_32bit (Results 1 – 2 of 2) sorted by relevance

/DragonOS-0.1.5/kernel/src/driver/acpi/
Dacpi.c185 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()
/DragonOS-0.1.5/kernel/src/common/
Dglib.h47 #define MASK_HIGH_32bit(x) (x & (0x00000000ffffffffUL)) macro