arch/x86_64/tcb_prepare.c


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));
}