2 * Copyright (C) 2015-2016 Freescale Semiconductor, Inc.
5 * SPDX-License-Identifier: GPL-2.0+
9 #include <linux/linkage.h>
11 #include <asm/armv7.h>
12 #include <asm/arch-armv7/generictimer.h>
15 .pushsection ._secure.text, "ax"
27 bl psci_save_target_pc
31 ldr r2, =psci_cpu_entry
39 bl psci_cpu_off_common