ace65b4
1 2 3 4 5 6 7 8 9
#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)); }