1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * Copyright 2016 NXP Semiconductor. 4 * Author: Wang Dongsheng <dongsheng.wang (at) freescale.com> 5 */ 6 7 #include <config.h> 8 #include <linux/linkage.h> 9 10 #include <asm/armv7.h> 11 #include <asm/psci.h> 12 13 .pushsection ._secure.text, "ax" 14 15 .arch_extension sec 16 17 .align 5 18 19 .globl psci_system_off 20 psci_system_off: 21 1: wfi 22 b 1b 23 24 .popsection 25
