sfi_put_table     144 drivers/sfi/sfi_acpi.c 	sfi_put_table(acpi_to_sfi_th(table));
sfi_put_table     300 drivers/sfi/sfi_core.c 	sfi_put_table(table);
sfi_put_table     411 drivers/sfi/sfi_core.c 		sfi_put_table(th);
sfi_put_table      79 drivers/sfi/sfi_core.h extern void sfi_put_table(struct sfi_table_header *table);