+ if (!(*pte)) {
+ // Invalid location
+ goto segv_term;
+ }
+ uintptr_t loc = *pte & ~0xfff;
+ // a writable page, not present, pte attr is not null
+ // and no indication of cached page -> a new page need to be alloc
+ if ((hit_region->attr & REGION_WRITE) && (*pte & 0xfff) && !loc) {
+ cpu_invplg(pte);
+ uintptr_t pa = pmm_alloc_page(__current->pid, 0);
+ *pte = *pte | pa | PG_PRESENT;
+ return;
+ }
+ // page not present, bring it from disk or somewhere else
+ __print_panic_msg("WIP page fault route", param);
+ while (1)
+ ;
+