Lines Matching refs:efi_system_table_t
776 } efi_system_table_t; typedef
848 efi_system_table_t *system_table;
983 efi_system_table_t *systab; /* EFI system table */
1571 void efi_printk(efi_system_table_t *sys_table_arg, char *str);
1573 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
1576 char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,
1579 efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,
1582 efi_status_t efi_low_alloc_above(efi_system_table_t *sys_table_arg,
1587 efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg, in efi_low_alloc()
1599 efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
1603 efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,
1611 efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,
1620 efi_status_t efi_setup_gop(efi_system_table_t *sys_table_arg,
1639 enum efi_secureboot_mode efi_get_secureboot(efi_system_table_t *sys_table);
1642 void efi_enable_reset_attack_mitigation(efi_system_table_t *sys_table_arg);
1645 efi_enable_reset_attack_mitigation(efi_system_table_t *sys_table_arg) { } in efi_enable_reset_attack_mitigation()
1648 void efi_retrieve_tpm2_eventlog(efi_system_table_t *sys_table);
1700 efi_system_table_t *sys_table_arg,
1704 efi_status_t efi_exit_boot_services(efi_system_table_t *sys_table,