vmm_gpt_reset_bits
const uint64_t old_state = vmm_gpt_reset_bits(ptep,
vmm_gpt_reset_bits(ptep, dirty_bit, on ? dirty_bit : 0);