/*
 * Copyright 2016 NXP Semiconductor.
 * Author: Feng Li <feng.li_2@nxp.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

.globl	psci_text_end
psci_text_end:
	nop
	.popsection
