Searched refs:biosacpi_search_rsdp (Results 1 – 1 of 1) sorted by relevance
49 static ACPI_TABLE_RSDP *biosacpi_search_rsdp(char *base, int length);225 rsdp = biosacpi_search_rsdp((char *)(intptr_t)(*addr << 4), 0x400); in biosacpi_find_rsdp()230 if ((rsdp = biosacpi_search_rsdp((char *)0xe0000, 0x20000)) != NULL) in biosacpi_find_rsdp()237 biosacpi_search_rsdp(char *base, int length) in biosacpi_search_rsdp() function