Searched refs:efi_update_table_header_crc32 (Results 1 – 3 of 3) sorted by relevance
97 void __efi_runtime efi_update_table_header_crc32(struct efi_table_hdr *table) in efi_update_table_header_crc32() function346 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_runtime_detach()
1466 efi_update_table_header_crc32(&systab.hdr); in efi_install_configuration_table()1977 efi_update_table_header_crc32(&systab.hdr); in efi_exit_boot_services()3231 efi_update_table_header_crc32(&systab.hdr); in efi_initialize_system_table()3232 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_initialize_system_table()3233 efi_update_table_header_crc32(&efi_boot_services.hdr); in efi_initialize_system_table()
496 void __efi_runtime efi_update_table_header_crc32(struct efi_table_hdr *table);