Searched refs:rtct_tbl_addr (Results 1 – 3 of 3) sorted by relevance
132 uint8_t *facp_addr = NULL, *facs_addr = NULL, *mcfg_addr = NULL, *rtct_tbl_addr = NULL; in acpi_fixup() local171 rtct_tbl_addr = (uint8_t *)get_acpi_tbl(ACPI_SIG_RTCT); in acpi_fixup()172 if (rtct_tbl_addr == NULL) { in acpi_fixup()173 rtct_tbl_addr = (uint8_t *)get_acpi_tbl(ACPI_SIG_RTCT_V2); in acpi_fixup()176 if (rtct_tbl_addr != NULL) { in acpi_fixup()177 set_rtct_tbl((void *)rtct_tbl_addr); in acpi_fixup()
43 void set_rtct_tbl(void *rtct_tbl_addr) in set_rtct_tbl() argument45 acpi_rtct_tbl = rtct_tbl_addr; in set_rtct_tbl()185 void set_rtct_tbl(__unused void *rtct_tbl_addr) in set_rtct_tbl() argument
31 void set_rtct_tbl(void *rtct_tbl_addr);
Completed in 4 milliseconds