Symbol: ICH_AP0RN
arch/arm64/kvm/vgic/vgic-v3-nested.c
334
s_cpu_if->vgic_ap0r[i] = __vcpu_sys_reg(vcpu, ICH_AP0RN(i));
arch/arm64/kvm/vgic/vgic-v3-nested.c
372
__vcpu_assign_sys_reg(vcpu, ICH_AP0RN(i), s_cpu_if->vgic_ap0r[i]);