/*
 * Copyright (c) 2006-2019, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author       Notes
 * 2011-09-15     Bernard      first version
 */

#ifndef __ARMV7_H__
#define __ARMV7_H__

/* the exception stack without VFP registers */
struct rt_hw_exp_stack
{
	unsigned long long pc;
	unsigned long long spsr;
	unsigned long long x30;
	unsigned long long xz;
	unsigned long long x28;
	unsigned long long x29;
	unsigned long long x26;
	unsigned long long x27;
	unsigned long long x24;
	unsigned long long x25;
	unsigned long long x22;
	unsigned long long x23;
	unsigned long long x20;
	unsigned long long x21;
	unsigned long long x18;	
	unsigned long long x19;
	unsigned long long x16;
	unsigned long long x17;
	unsigned long long x14;
	unsigned long long x15;
	unsigned long long x12;
	unsigned long long x13;
	unsigned long long x10;
	unsigned long long x11;
	unsigned long long x8;
	unsigned long long x9;
	unsigned long long x6;
	unsigned long long x7;
	unsigned long long x4;
	unsigned long long x5;
	unsigned long long x2;
	unsigned long long x3;
	unsigned long long x0;
	unsigned long long x1;
};

#define SP_ELx						( ( unsigned long long ) 0x01 )
#define SP_EL0						( ( unsigned long long ) 0x00 )
#define PSTATE_EL1					( ( unsigned long long ) 0x04 )
#define PSTATE_EL2					( ( unsigned long long ) 0x08 )
#define PSTATE_EL3					( ( unsigned long long ) 0x0c )

rt_ubase_t rt_hw_get_current_el(void);
void rt_hw_set_elx_env(void);
void rt_hw_set_current_vbar(rt_ubase_t addr);

#endif