// This is kernel heap page
uintptr_t pa = pmm_alloc_page(KERNEL_PID, 0);
*mapping->pte = (*mapping->pte & 0xfff) | pa | PG_PRESENT;
// This is kernel heap page
uintptr_t pa = pmm_alloc_page(KERNEL_PID, 0);
*mapping->pte = (*mapping->pte & 0xfff) | pa | PG_PRESENT;