[thirdparty/u-boot.git] / board / freescale / ls1021atwr / psci.S

/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright 2016 NXP Semiconductor.
 * Author: Wang Dongsheng <dongsheng.wang@freescale.com>
 */

#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

	.popsection
Commit	Line	Data
83d290c5	1	/* SPDX-License-Identifier: GPL-2.0+ */
aeb901f2 HZ	2	/*
	3	* Copyright 2016 NXP Semiconductor.
	4	* Author: Wang Dongsheng <dongsheng.wang@freescale.com>
aeb901f2 HZ	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
	20	psci_system_off:
	21	1: wfi
	22	b 1b
	23
	24	.popsection