Symbol: smccc_version
sys/arch/arm/arm/smccc.c
78
smccc_version(),
sys/arch/arm/arm/smccc.h
48
int smccc_version(void);
sys/arch/arm/pci/pci_smccc.c
58
smccc_ver = smccc_version();