mvebu_system_controller_set_cpu_boot_addr   23 arch/arm/mach-mvebu/common.h void mvebu_system_controller_set_cpu_boot_addr(void *boot_addr);
mvebu_system_controller_set_cpu_boot_addr   42 arch/arm/mach-mvebu/platsmp-a9.c 		mvebu_system_controller_set_cpu_boot_addr(mvebu_cortex_a9_secondary_startup);