platform_start_kernel - Haiku

Symbol: platform_start_kernel

headers/private/kernel/boot/platform.h

extern void platform_start_kernel(void);

src/system/boot/loader/main.cpp

platform_start_kernel();