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()
467 vgic_update_state(kvm); in vgic_handle_enable_reg()504 vgic_update_state(kvm); in vgic_handle_set_pending_reg()541 vgic_update_state(kvm); in vgic_handle_clear_pending_reg()559 vgic_update_state(kvm); in vgic_handle_set_active_reg()578 vgic_update_state(kvm); in vgic_handle_clear_active_reg()712 vgic_update_state(vcpu->kvm); in vgic_unqueue_irqs()983 void vgic_update_state(struct kvm *kvm) in vgic_update_state() function1111 vgic_update_state(vcpu->kvm); in vgic_queue_irq_to_lr()
44 void vgic_update_state(struct kvm *kvm);
82 vgic_update_state(vcpu->kvm); in handle_mmio_ctlr()314 vgic_update_state(kvm); in handle_mmio_route_reg()943 vgic_update_state(vcpu->kvm); in vgic_v3_dispatch_sgi()