boot_inst          29 arch/arm/mach-berlin/platsmp.c extern u32 boot_inst;
boot_inst          86 arch/arm/mach-berlin/platsmp.c 	writel(boot_inst, vectors_base + RESET_VECT);