Symbol: mpidr_to_vcpu
sys/arm64/vmm/io/vgic_v3.c
1806
target_vcpuid = mpidr_to_vcpu(hyp,
sys/arm64/vmm/io/vgic_v3.c
979
irq->target_vcpu = mpidr_to_vcpu(hypctx->hyp, irq->mpidr);