is_quiet           29 drivers/firmware/efi/libstub/efistub.h extern int __pure is_quiet(void);
is_quiet           33 drivers/firmware/efi/libstub/efistub.h 	if (!is_quiet()) efi_printk(sys_table, "EFI stub: "msg);	\