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