I have a system call called alloc that takes in a void * va virtual address like int alloc(void * va). When I do alloc((void*)KERNBASE+num) why does the kernbase disappear w