Searched refs:need_db (Results 1 – 2 of 2) sorted by relevance
333 int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db) in vgic_v4_put() argument340 return its_make_vpe_non_resident(vpe, need_db); in vgic_v4_put()
432 int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db);