bcm_kona_smc       26 arch/arm/mach-bcm/bcm_kona_smc.h extern unsigned bcm_kona_smc(unsigned service_id,
bcm_kona_smc       34 arch/arm/mach-bcm/kona_l2_cache.c 	result = bcm_kona_smc(SSAPI_ENABLE_L2_CACHE, 0, 0, 0, 0);