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);