Searched refs:vgic_set_target_reg (Results 1 – 1 of 1) sorted by relevance
154 static void vgic_set_target_reg(struct kvm *kvm, u32 val, int irq) in vgic_set_target_reg() function208 vgic_set_target_reg(vcpu->kvm, reg, offset & ~3U); in handle_mmio_target_reg()556 vgic_set_target_reg(kvm, 0, i); in vgic_v2_init_model()