1734 void acpi_table_end(BIOSLinker *linker, AcpiTable *desc)  in acpi_table_end()  argument
1752     bios_linker_loader_add_checksum(linker, ACPI_BUILD_TABLE_FILE,  in acpi_table_end()
1782     tables->linker = bios_linker_loader_init();  in acpi_build_tables_init()
1787     bios_linker_loader_cleanup(tables->linker);  in acpi_build_tables_cleanup()
1800 build_rsdp(GArray *tbl, BIOSLinker *linker, AcpiRsdpData *rsdp_data)  in build_rsdp()  argument
1818     bios_linker_loader_alloc(linker, ACPI_BUILD_RSDP_FILE, tbl, 16,  in build_rsdp()
1828         bios_linker_loader_add_pointer(linker, ACPI_BUILD_RSDP_FILE,  in build_rsdp()
1835     bios_linker_loader_add_checksum(linker, ACPI_BUILD_RSDP_FILE,  in build_rsdp()
1849     bios_linker_loader_add_pointer(linker, ACPI_BUILD_RSDP_FILE,  in build_rsdp()
1858     bios_linker_loader_add_checksum(linker, ACPI_BUILD_RSDP_FILE,  in build_rsdp()
1867 build_rsdt(GArray *table_data, BIOSLinker *linker, GArray *table_offsets,  in build_rsdt()  argument
1883         bios_linker_loader_add_pointer(linker,  in build_rsdt()
1888     acpi_table_end(linker, &table);  in build_rsdt()
1895 build_xsdt(GArray *table_data, BIOSLinker *linker, GArray *table_offsets,  in build_xsdt()  argument
1912         bios_linker_loader_add_pointer(linker,  in build_xsdt()
1916     acpi_table_end(linker, &table);  in build_xsdt()
2027 void build_slit(GArray *table_data, BIOSLinker *linker, MachineState *ms,  in build_slit()  argument
2046     acpi_table_end(linker, &table);  in build_slit()
2079 void build_spcr(GArray *table_data, BIOSLinker *linker,  in build_spcr()  argument
2130     acpi_table_end(linker, &table);  in build_spcr()
2136 void build_pptt(GArray *table_data, BIOSLinker *linker, MachineState *ms,  in build_pptt()  argument
2205     acpi_table_end(linker, &table);  in build_pptt()
2209 void build_fadt(GArray *tbl, BIOSLinker *linker, const AcpiFadtData *f,  in build_fadt()  argument
2222         bios_linker_loader_add_pointer(linker,  in build_fadt()
2231         bios_linker_loader_add_pointer(linker,  in build_fadt()
2305         bios_linker_loader_add_pointer(linker,  in build_fadt()
2342     acpi_table_end(linker, &table);  in build_fadt()
2351 void build_tpm2(GArray *table_data, BIOSLinker *linker, GArray *tcpalog,  in build_tpm2()  argument
2390     bios_linker_loader_alloc(linker, ACPI_BUILD_TPMLOG_FILE, tcpalog, 1,  in build_tpm2()
2397     bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,  in build_tpm2()
2400     acpi_table_end(linker, &table);  in build_tpm2()