Symbol: vmm_gpte_reset_dirty