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