Searched refs:vgic_populate_lr (Results 1 – 1 of 1) sorted by relevance
728 static inline void vgic_populate_lr(struct kvm_vcpu *vcpu, in vgic_populate_lr() function815 vgic_populate_lr(vcpu, irq, count++); in vgic_flush_lr_state()