boot_func         159 arch/arm/mach-bcm/platsmp.c 	phys_addr_t boot_func;
boot_func         186 arch/arm/mach-bcm/platsmp.c 	boot_func = __pa_symbol(secondary_startup);
boot_func         187 arch/arm/mach-bcm/platsmp.c 	BUG_ON(boot_func & BOOT_ADDR_CPUID_MASK);
boot_func         188 arch/arm/mach-bcm/platsmp.c 	BUG_ON(boot_func > (phys_addr_t)U32_MAX);
boot_func         191 arch/arm/mach-bcm/platsmp.c 	boot_val = (u32)boot_func | cpu_id;