vmm_gpte_query_dirty
bool vmm_gpte_query_dirty(const vmm_gpt_entry_t *);
value = vmm_gpte_query_dirty(ptep);