Searched refs:rsdp_val (Results 1 – 1 of 1) sorted by relevance
2068 uint64_t rsdp_val = 0; in find_rsdp() local2074 (void) do_bsys_getprop(NULL, "acpi-root-tab", &rsdp_val); in find_rsdp()2075 if (rsdp_val != 0) { in find_rsdp()2076 rsdp = scan_rsdp(rsdp_val, rsdp_val + sizeof (*rsdp)); in find_rsdp()