2 * Copyright 2016 NXP Semiconductor.
3 * Author: Wang Dongsheng <dongsheng.wang@freescale.com>
5 * SPDX-License-Identifier: GPL-2.0+
9 #include <linux/linkage.h>
11 #include <asm/armv7.h>
14 .pushsection ._secure.text, "ax"
20 .globl psci_system_off