#include "tasking.h"

void 
tcb_prepare(tcb_t *tcb, void *ip)
{
    uintptr_t state[15] = { 0 };
    tcb_stack_push(tcb, &ip, sizeof(void*));
    tcb_stack_push(tcb, state, sizeof(state));
}