vmsfree(ptr_t vm_mnt)
{
pte_t* ptep_head = mkl0tep(mkptep_va(vm_mnt, 0));
pte_t* ptep_kernel = mkl0tep(mkptep_va(vm_mnt, KERNEL_RESIDENT));
int level = 0;
vmsfree(ptr_t vm_mnt)
{
pte_t* ptep_head = mkl0tep(mkptep_va(vm_mnt, 0));
pte_t* ptep_kernel = mkl0tep(mkptep_va(vm_mnt, KERNEL_RESIDENT));
int level = 0;