vmm_gpte_reset_dirty
bool vmm_gpte_reset_dirty(vmm_gpt_entry_t *, bool);
(void) vmm_gpte_reset_dirty(vmp->vmp_ptep, true);
value = !vmm_gpte_reset_dirty(ptep, true);
value = vmm_gpte_reset_dirty(ptep, false);