Lines Matching refs:sys_table_arg
1528 void efi_printk(efi_system_table_t *sys_table_arg, char *str);
1530 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
1533 char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,
1536 efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,
1539 efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
1543 efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
1547 efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,
1554 efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,
1563 efi_status_t efi_setup_gop(efi_system_table_t *sys_table_arg,
1579 void efi_enable_reset_attack_mitigation(efi_system_table_t *sys_table_arg);
1582 efi_enable_reset_attack_mitigation(efi_system_table_t *sys_table_arg) { } in efi_enable_reset_attack_mitigation() argument
1637 efi_system_table_t *sys_table_arg,