THUNK_PROT_NONE
if (pv->pv_mmap_ppl != THUNK_PROT_NONE) {
if (pv->pv_mmap_ppl != THUNK_PROT_NONE)
if (tlb[pv->pv_lpn]->pv_mmap_ppl == THUNK_PROT_NONE)
addr = thunk_mmap((void *) va, PAGE_SIZE, THUNK_PROT_NONE,
mmap_ppl = THUNK_PROT_NONE;