src:gp/system/scheduler.hpp
src:gp/system/platforms/gcc-x86_64.hpp
fun:gp::specifics::platform_data::push(void*)