kernel/memory/memory.h


1
2
3
4
5
6
7
8

#include <comus/memory.h>
#include "virtalloc.h"

struct mem_ctx_s {
	struct virt_ctx *virtctx;
	volatile char *pml4;
};