| 12345678910111213141516171819202122232425 |
- /*
- * Copyright 2016 NXP Semiconductor.
- * Author: Wang Dongsheng <dongsheng.wang@freescale.com>
- *
- * SPDX-License-Identifier: GPL-2.0+
- */
- #include <config.h>
- #include <linux/linkage.h>
- #include <asm/armv7.h>
- #include <asm/psci.h>
- .pushsection ._secure.text, "ax"
- .arch_extension sec
- .align 5
- .globl psci_system_off
- psci_system_off:
- 1: wfi
- b 1b
- .popsection
|
