Function migrate

thread/std-compat.cpp:71–76

namespace this_thread {

void migrate() {
    if (unlikely(!g_work_pool)) {
        throw_system_error(EPERM, "this_thread::migrate: work pool is not initialized");
    }
    g_work_pool->thread_migrate();
}

}