Symbol: smccc_get_arg3
arch/arm64/kvm/hyp/nvhe/pkvm.c
1140
smccc_get_arg3(vcpu)) {
arch/arm64/kvm/hyp/nvhe/pkvm.c
1148
smccc_get_arg3(vcpu)) {
arch/arm64/kvm/hyp/nvhe/pkvm.c
1156
smccc_get_arg3(vcpu)) {
arch/arm64/kvm/psci.c
102
reset_state->r0 = smccc_get_arg3(source_vcpu);