Searched refs:efi_update_table_header_crc32 (Results 1 – 5 of 5) sorted by relevance
169 void __efi_runtime efi_update_table_header_crc32(struct efi_table_hdr *table) in efi_update_table_header_crc32() function528 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_runtime_detach()665 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_relocate_runtime_table()
411 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_variables_boot_exit_notify()
1668 efi_update_table_header_crc32(&systab.hdr); in efi_install_configuration_table()2194 efi_update_table_header_crc32(&systab.hdr); in efi_exit_boot_services()3794 efi_update_table_header_crc32(&systab.hdr); in efi_initialize_system_table()3795 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_initialize_system_table()3796 efi_update_table_header_crc32(&efi_boot_services.hdr); in efi_initialize_system_table()
715 efi_update_table_header_crc32(&efi_runtime_services.hdr); in efi_variables_boot_exit_notify()
680 void __efi_runtime efi_update_table_header_crc32(struct efi_table_hdr *table);
Completed in 16 milliseconds