1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2015-2016 Freescale Semiconductor, Inc.
8 #include <linux/linkage.h>
10 #include <asm/armv7.h>
11 #include <asm/arch-armv7/generictimer.h>
14 .pushsection ._secure.text, "ax"
31 ldr r2, =psci_cpu_entry
39 bl psci_cpu_off_common
46 .globl psci_system_reset
53 .globl psci_system_off