Searched refs:vgic_v3_nested_update_mi (Results 1 – 3 of 3) sorted by relevance
320 vgic_v3_nested_update_mi(vcpu); in vgic_v3_sync_nested()400 void vgic_v3_nested_update_mi(struct kvm_vcpu *vcpu) in vgic_v3_nested_update_mi() function
1015 vgic_v3_nested_update_mi(vcpu); in kvm_vgic_sync_hwstate()1075 vgic_v3_nested_update_mi(vcpu); in kvm_vgic_flush_hwstate()
454 void vgic_v3_nested_update_mi(struct kvm_vcpu *vcpu);