Searched refs:vgic_update_state (Results 1 – 4 of 4) sorted by relevance
56 vgic_update_state(vcpu->kvm); in handle_mmio_misc()209 vgic_update_state(vcpu->kvm); in handle_mmio_target_reg()236 vgic_update_state(vcpu->kvm); in handle_mmio_sgi_reg()297 vgic_update_state(vcpu->kvm); in write_set_clear_sgi_pend_reg()
500 vgic_update_state(kvm); in vgic_handle_enable_reg()537 vgic_update_state(kvm); in vgic_handle_set_pending_reg()574 vgic_update_state(kvm); in vgic_handle_clear_pending_reg()592 vgic_update_state(kvm); in vgic_handle_set_active_reg()611 vgic_update_state(kvm); in vgic_handle_clear_active_reg()730 vgic_update_state(vcpu->kvm); in vgic_unqueue_irqs()1000 void vgic_update_state(struct kvm *kvm) in vgic_update_state() function1143 vgic_update_state(vcpu->kvm); in vgic_queue_irq_to_lr()
44 void vgic_update_state(struct kvm *kvm);
80 vgic_update_state(vcpu->kvm); in handle_mmio_ctlr()338 vgic_update_state(kvm); in handle_mmio_route_reg()987 vgic_update_state(vcpu->kvm); in vgic_v3_dispatch_sgi()