1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright 2016 NXP Semiconductor.
4 * Author: Feng Li <feng.li_2@nxp.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.globl	psci_text_end
25psci_text_end:
26	nop
27	.popsection
28