1/*
2 * Copyright 2016 NXP Semiconductor.
3 * Author: Feng Li <feng.li_2@nxp.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.globl	psci_text_end
26psci_text_end:
27	nop
28	.popsection
29