kernel/user.c


1
2
3
4
5
6
7
8
9
10
11

#include <comus/procs.h>
#include <comus/memory.h>

void user_cleanup(struct pcb *pcb)
{
	if (pcb == NULL)
		return;

	mem_ctx_free(pcb->memctx);
	pcb->memctx = NULL;
}