1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright 2016 NXP Semiconductor.
4 * Author: Wang Dongsheng <dongsheng.wang@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
20psci_system_off:
211:	wfi
22	b	1b
23
24	.popsection
25