ve_cache_enter
ve_cache_enter(vklp, ve);
static void ve_cache_enter(struct vkernel_lwp *vklp, struct vmspace_entry *ve);