Searched refs:print_dragonstub_banner (Results 1 – 1 of 1) sorted by relevance
7 void print_dragonstub_banner(void);17 print_dragonstub_banner(); in efi_main()61 void print_dragonstub_banner(void) in print_dragonstub_banner() function