*mapping.pte &= ~PG_DIRTY;
- cpu_invplg((ptr_t)mapping.pte);
+ cpu_flush_page((ptr_t)mapping.pte);
} else if ((options & MS_INVALIDATE)) {
goto invalidate;
}
invalidate:
*mapping.pte &= ~PG_PRESENT;
pmm_free_page(KERNEL_PID, mapping.pa);
- cpu_invplg((ptr_t)mapping.pte);
+ cpu_flush_page((ptr_t)mapping.pte);
}
}