void
sol_mainloop_impl_platform_shutdown(void)
{
#ifdef THREADS
    _main_pid = KERNEL_PID_UNDEF;
#endif
    sol_mainloop_common_source_shutdown();
}
void
sol_mainloop_impl_platform_shutdown(void)
{
    sol_mainloop_common_source_shutdown();
}