efi_printk
__printf(1, 2) int efi_printk(char const *fmt, ...);
efi_printk(KERN_INFO fmt, ##__VA_ARGS__)
efi_printk(KERN_WARNING "WARNING: " fmt, ##__VA_ARGS__)
efi_printk(KERN_ERR "ERROR: " fmt, ##__VA_ARGS__)
efi_printk(KERN_DEBUG "DEBUG: " fmt, ##__VA_ARGS__)
efi_printk(fmt, ##__VA_ARGS__); \
efi_printk("Mode %3u %c%c: Resolution %ux%u-%s%.0hhu\n",
efi_printk("Available graphics modes are 0-%u\n", max_mode-1);