Searched refs:rsdt_address (Results 1 – 4 of 4) sorted by relevance
92 TRACE(("acpi: rsdp points to rsdt at 0x%lx\n", rsdp->rsdt_address)); in acpi_check_rsdt()114 rsdp->rsdt_address, sizeof(acpi_descriptor_header), in acpi_check_rsdt()132 rsdp->rsdt_address, length, kDefaultPageFlags); in acpi_check_rsdt()
21 uint32 rsdt_address; /* physical memory address of RSDT */ member29 uint32 rsdt_address; /* physical memory address of RSDT */ member
95 TRACE(("acpi: rsdp points to rsdt at 0x%" B_PRIx32 "\n", rsdp->rsdt_address)); in acpi_check_rsdt()112 rsdt = (acpi_descriptor_header*)(addr_t)rsdp->rsdt_address; in acpi_check_rsdt()
23 uint32 rsdt_address; /* physical memory address of RSDT */ member31 uint32 rsdt_address; /* physical memory address of RSDT */ member