Lines Matching full:return
17 return efi_rsdp; in get_rsdp()
32 return NULL; in get_rsdp()
34 return rsdp; in get_rsdp()
52 return NULL; in find_acpi_table_addr()
53 return (void *)(ulong) fadt->firmware_ctrl; in find_acpi_table_addr()
59 return NULL; in find_acpi_table_addr()
63 return rsdp; in find_acpi_table_addr()
70 return rsdt; in find_acpi_table_addr()
79 return xsdt; in find_acpi_table_addr()
91 return t; in find_acpi_table_addr()
99 return t; in find_acpi_table_addr()
103 return NULL; in find_acpi_table_addr()
128 return count; in acpi_table_parse_madt()