errval_t domain_thread_create_on(coreid_t core_id, thread_func_t start_func, void *arg, struct thread **newthread) { return domain_thread_create_on_varstack(core_id, start_func, arg, 0, newthread); }
errval_t domain_thread_create_on(coreid_t core_id, thread_func_t start_func, void *arg) { return domain_thread_create_on_varstack(core_id, start_func, arg, 0); }