Searched defs:efi_printk (Results 1 – 2 of 2) sorted by relevance
115 int efi_printk(const char *fmt, ...) in efi_printk() function
134 int efi_printk(const char *fmt, ...) in efi_printk() function