grub_menu_init_page(int,int,struct grub_term_screen_geometry*,struct grub_term_output*,const char*)
: void
grub_print_ucs4_menu(const grub_uint32_t*,const grub_uint32_t*,int,int,struct grub_term_output*,int,int,grub_uint32_t,struct grub_term_pos*)
: void