Searched refs:vgic_v4_commit (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/arm64/kvm/vgic/ | ||
| H A D | vgic-v4.c | 404 void vgic_v4_commit(struct kvm_vcpu *vcpu) in vgic_v4_commit() function |
| H A D | vgic.c | 1092 vgic_v4_commit(vcpu); in kvm_vgic_flush_hwstate() |