kvmalloc
167 defs.h void kvmalloc(void);
kvmalloc
21 main.c kvmalloc(); // kernel page table