| * Copied from omap44xx-smc.S Copyright (C) 2010 Texas Instruments, Inc. |
| * Copyright 2012 Calxeda, Inc. |
| * This program is free software,you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| #include <linux/linkage.h> |
| * This is common routine to manage secure monitor API |
| * used to modify the PL310 secure registers. |
| * 'r0' contains the value to be modified and 'r12' contains |
| * the monitor API number. |
| * Function signature : void highbank_smc1(u32 fn, u32 arg) |