1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright 2016 NXP Semiconductor.
4 * Author: Wang Dongsheng <dongsheng.wang@freescale.com>
8 #include <linux/linkage.h>
10 #include <asm/armv7.h>
13 .pushsection ._secure.text, "ax"
19 .globl psci_system_off