| * Copyright 2011 Freescale Semiconductor, Inc. |
| * Copyright 2011 Linaro Ltd. |
| * The code contained herein is licensed under the GNU General Public |
| * License. You may obtain a copy of the GNU General Public License |
| * Version 2 or later at the following locations: |
| * http://www.opensource.org/licenses/gpl-license.html |
| * http://www.gnu.org/copyleft/gpl.html |
| #include <linux/linkage.h> |
| add r1, r1, r0 @ r1 = physical &g_diag_reg |
| mcr p15, 0, r0, c15, c0, 1 @ write diagnostic register |
| ENTRY(v7_secondary_startup) |
| ENDPROC(v7_secondary_startup) |