static void * stack_allocate(size_t size)
{
- return MYMALLOC(size);
+ return malloc(size);
}
static void stack_free(void *stack)
{
- MYFREE(stack);
+ free(stack);
}
Thread * thread_current(void)
{
+ ASSERT(model);
return model->scheduler->get_current_thread();
}