41 acpi_validate_rsdp(acpi_rsdp* rsdp)  in acpi_validate_rsdp()  argument
43 	const char* data = (const char*)rsdp;  in acpi_validate_rsdp()
54 	if (rsdp->revision > 0) {  in acpi_validate_rsdp()
83 acpi_check_rsdt(acpi_rsdp* rsdp)  in acpi_check_rsdt()  argument
85 	if (acpi_validate_rsdp(rsdp) != B_OK)  in acpi_check_rsdt()
91 		rsdp, rsdp->oem_id, rsdp->revision));  in acpi_check_rsdt()
92 	TRACE(("acpi: rsdp points to rsdt at 0x%lx\n", rsdp->rsdt_address));  in acpi_check_rsdt()
96 	if (rsdp->revision > 0) {  in acpi_check_rsdt()
97 		length = rsdp->xsdt_length;  in acpi_check_rsdt()
99 			(uint32)rsdp->xsdt_address, rsdp->xsdt_length, kDefaultPageFlags);  in acpi_check_rsdt()
102 			mmu_free(rsdt, rsdp->xsdt_length);  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()
230 		acpi_rsdp* rsdp = NULL;  in acpi_init()  local
240 				rsdp = (acpi_rsdp*)pointer;  in acpi_init()
244 		if (rsdp != NULL && acpi_check_rsdt(rsdp) == B_OK)  in acpi_init()