sfi_get_table     123 drivers/sfi/sfi_acpi.c 	xsdt_va = (struct acpi_table_xsdt *)sfi_get_table(&xsdt_key);
sfi_get_table     295 drivers/sfi/sfi_core.c 	table = sfi_get_table(&key);
sfi_get_table     405 drivers/sfi/sfi_core.c 		th = sfi_get_table(&key);
sfi_get_table      78 drivers/sfi/sfi_core.h struct sfi_table_header *sfi_get_table(struct sfi_table_key *key);