Searched defs:efi_printk (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/drivers/firmware/efi/libstub/ | ||
| H A D | efi-stub-helper.c | 49 void efi_printk(efi_system_table_t *sys_table_arg, char *str) efi_printk() function |
Completed in 72 milliseconds