| /* | |
| * arch/arm/include/asm/bL_switcher.h | |
| * | |
| * Created by: Nicolas Pitre, April 2012 | |
| * Copyright: (C) 2012-2013 Linaro Limited | |
| * | |
| * 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. | |
| */ | |
| #ifndef ASM_BL_SWITCHER_H | |
| #define ASM_BL_SWITCHER_H | |
| void bL_switch_request(unsigned int cpu, unsigned int new_cluster_id); | |
| #endif |