platform_run_menu - Haiku

Symbol: platform_run_menu

headers/private/kernel/boot/platform.h

extern void platform_run_menu(Menu *menu);

src/system/boot/loader/menu.cpp

platform_run_menu(this);

src/tests/system/boot/loader/platform_menu.cpp

platform_run_menu(item->Submenu());