Symbol: set_apr_reg
arch/arm64/kvm/vgic-sys-reg-v3.c
237
set_apr_reg(vcpu, val, 0, idx);
arch/arm64/kvm/vgic-sys-reg-v3.c
263
set_apr_reg(vcpu, val, 1, idx);