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