GMAP_FLAG_PFAULT_ENABLED
return test_bit(GMAP_FLAG_PFAULT_ENABLED, &gmap->flags);
set_bit(GMAP_FLAG_PFAULT_ENABLED, &dev->kvm->arch.gmap->flags);
clear_bit(GMAP_FLAG_PFAULT_ENABLED, &dev->kvm->arch.gmap->flags);
clear_bit(GMAP_FLAG_PFAULT_ENABLED, &kvm->arch.gmap->flags);