smccc_get_arg1    101 virt/kvm/arm/psci.c 	cpu_id = smccc_get_arg1(source_vcpu) & MPIDR_HWID_BITMASK;
smccc_get_arg1    158 virt/kvm/arm/psci.c 	target_affinity = smccc_get_arg1(vcpu);
smccc_get_arg1    307 virt/kvm/arm/psci.c 		feature = smccc_get_arg1(vcpu);
smccc_get_arg1    401 virt/kvm/arm/psci.c 		feature = smccc_get_arg1(vcpu);