Searched refs:bios_linker_loader_write_pointer (Results 1 – 4 of 4) sorted by relevance
31 void bios_linker_loader_write_pointer(BIOSLinker *linker,
106 bios_linker_loader_write_pointer(linker, in vmgenid_build_acpi()
325 void bios_linker_loader_write_pointer(BIOSLinker *linker, in bios_linker_loader_write_pointer() function
285 bios_linker_loader_write_pointer(linker, ACPI_GHES_DATA_ADDR_FW_CFG_FILE, in build_ghes_error_table()