vgic_v2_reset - Linux

Linux

DragonflyBSD — FreeBSD — Haiku — Illumos — Linux — NetBSD — OpenBSD

Action Another action Something else here

Symbol: vgic_v2_reset

arch/arm64/kvm/vgic/vgic-init.c

vgic_v2_reset(vcpu);

arch/arm64/kvm/vgic/vgic.h

void vgic_v2_reset(struct kvm_vcpu *vcpu);