lib_helpers.h File Reference

#include <zephyr/arch/arm64/cpu.h>
#include <stdint.h>

Go to the source code of this file.

Macros
#define	read_sysreg(reg)
#define	write_sysreg(val, reg)
#define	zero_sysreg(reg)
#define	MAKE_REG_HELPER(reg)
#define	MAKE_REG_HELPER_EL123(reg)
#define	sev()   __asm__ volatile("sev" : : : "memory")
#define	wfe()   __asm__ volatile("wfe" : : : "memory")
#define	wfi()   __asm__ volatile("wfi" : : : "memory")

Functions
static ALWAYS_INLINE uint64_t	read_ccsidr_el1 (void)
static ALWAYS_INLINE void	write_ccsidr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_ccsidr_el1 (void)
static ALWAYS_INLINE uint64_t	read_clidr_el1 (void)
static ALWAYS_INLINE void	write_clidr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_clidr_el1 (void)
static ALWAYS_INLINE uint64_t	read_cntfrq_el0 (void)
static ALWAYS_INLINE void	write_cntfrq_el0 (uint64_t val)
static ALWAYS_INLINE void	zero_cntfrq_el0 (void)
static ALWAYS_INLINE uint64_t	read_cnthctl_el2 (void)
static ALWAYS_INLINE void	write_cnthctl_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_cnthctl_el2 (void)
static ALWAYS_INLINE uint64_t	read_cnthp_ctl_el2 (void)
static ALWAYS_INLINE void	write_cnthp_ctl_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_cnthp_ctl_el2 (void)
static ALWAYS_INLINE uint64_t	read_cnthps_ctl_el2 (void)
static ALWAYS_INLINE void	write_cnthps_ctl_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_cnthps_ctl_el2 (void)
static ALWAYS_INLINE uint64_t	read_cntv_ctl_el0 (void)
static ALWAYS_INLINE void	write_cntv_ctl_el0 (uint64_t val)
static ALWAYS_INLINE void	zero_cntv_ctl_el0 (void)
static ALWAYS_INLINE uint64_t	read_cntv_cval_el0 (void)
static ALWAYS_INLINE void	write_cntv_cval_el0 (uint64_t val)
static ALWAYS_INLINE void	zero_cntv_cval_el0 (void)
static ALWAYS_INLINE uint64_t	read_cntvct_el0 (void)
static ALWAYS_INLINE void	write_cntvct_el0 (uint64_t val)
static ALWAYS_INLINE void	zero_cntvct_el0 (void)
static ALWAYS_INLINE uint64_t	read_cntvoff_el2 (void)
static ALWAYS_INLINE void	write_cntvoff_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_cntvoff_el2 (void)
static ALWAYS_INLINE uint64_t	read_currentel (void)
static ALWAYS_INLINE void	write_currentel (uint64_t val)
static ALWAYS_INLINE void	zero_currentel (void)
static ALWAYS_INLINE uint64_t	read_csselr_el1 (void)
static ALWAYS_INLINE void	write_csselr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_csselr_el1 (void)
static ALWAYS_INLINE uint64_t	read_daif (void)
static ALWAYS_INLINE void	write_daif (uint64_t val)
static ALWAYS_INLINE void	zero_daif (void)
static ALWAYS_INLINE uint64_t	read_hcr_el2 (void)
static ALWAYS_INLINE void	write_hcr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_hcr_el2 (void)
static ALWAYS_INLINE uint64_t	read_id_aa64pfr0_el1 (void)
static ALWAYS_INLINE void	write_id_aa64pfr0_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_id_aa64pfr0_el1 (void)
static ALWAYS_INLINE uint64_t	read_id_aa64mmfr0_el1 (void)
static ALWAYS_INLINE void	write_id_aa64mmfr0_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_id_aa64mmfr0_el1 (void)
static ALWAYS_INLINE uint64_t	read_mpidr_el1 (void)
static ALWAYS_INLINE void	write_mpidr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_mpidr_el1 (void)
static ALWAYS_INLINE uint64_t	read_par_el1 (void)
static ALWAYS_INLINE void	write_par_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_par_el1 (void)
static ALWAYS_INLINE uint64_t	read_scr_el3 (void)
static ALWAYS_INLINE void	write_scr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_scr_el3 (void)
static ALWAYS_INLINE uint64_t	read_tpidrro_el0 (void)
static ALWAYS_INLINE void	write_tpidrro_el0 (uint64_t val)
static ALWAYS_INLINE void	zero_tpidrro_el0 (void)
static ALWAYS_INLINE uint64_t	read_vmpidr_el2 (void)
static ALWAYS_INLINE void	write_vmpidr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_vmpidr_el2 (void)
static ALWAYS_INLINE uint64_t	read_sp_el0 (void)
static ALWAYS_INLINE void	write_sp_el0 (uint64_t val)
static ALWAYS_INLINE void	zero_sp_el0 (void)
static ALWAYS_INLINE uint64_t	read_actlr_el1 (void)
static ALWAYS_INLINE void	write_actlr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_actlr_el1 (void)
static ALWAYS_INLINE uint64_t	read_actlr_el2 (void)
static ALWAYS_INLINE void	write_actlr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_actlr_el2 (void)
static ALWAYS_INLINE uint64_t	read_actlr_el3 (void)
static ALWAYS_INLINE void	write_actlr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_actlr_el3 (void)
static ALWAYS_INLINE uint64_t	read_cpacr_el1 (void)
static ALWAYS_INLINE void	write_cpacr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_cpacr_el1 (void)
static ALWAYS_INLINE uint64_t	read_cpacr_el2 (void)
static ALWAYS_INLINE void	write_cpacr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_cpacr_el2 (void)
static ALWAYS_INLINE uint64_t	read_cpacr_el3 (void)
static ALWAYS_INLINE void	write_cpacr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_cpacr_el3 (void)
static ALWAYS_INLINE uint64_t	read_cptr_el1 (void)
static ALWAYS_INLINE void	write_cptr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_cptr_el1 (void)
static ALWAYS_INLINE uint64_t	read_cptr_el2 (void)
static ALWAYS_INLINE void	write_cptr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_cptr_el2 (void)
static ALWAYS_INLINE uint64_t	read_cptr_el3 (void)
static ALWAYS_INLINE void	write_cptr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_cptr_el3 (void)
static ALWAYS_INLINE uint64_t	read_elr_el1 (void)
static ALWAYS_INLINE void	write_elr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_elr_el1 (void)
static ALWAYS_INLINE uint64_t	read_elr_el2 (void)
static ALWAYS_INLINE void	write_elr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_elr_el2 (void)
static ALWAYS_INLINE uint64_t	read_elr_el3 (void)
static ALWAYS_INLINE void	write_elr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_elr_el3 (void)
static ALWAYS_INLINE uint64_t	read_esr_el1 (void)
static ALWAYS_INLINE void	write_esr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_esr_el1 (void)
static ALWAYS_INLINE uint64_t	read_esr_el2 (void)
static ALWAYS_INLINE void	write_esr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_esr_el2 (void)
static ALWAYS_INLINE uint64_t	read_esr_el3 (void)
static ALWAYS_INLINE void	write_esr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_esr_el3 (void)
static ALWAYS_INLINE uint64_t	read_far_el1 (void)
static ALWAYS_INLINE void	write_far_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_far_el1 (void)
static ALWAYS_INLINE uint64_t	read_far_el2 (void)
static ALWAYS_INLINE void	write_far_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_far_el2 (void)
static ALWAYS_INLINE uint64_t	read_far_el3 (void)
static ALWAYS_INLINE void	write_far_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_far_el3 (void)
static ALWAYS_INLINE uint64_t	read_mair_el1 (void)
static ALWAYS_INLINE void	write_mair_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_mair_el1 (void)
static ALWAYS_INLINE uint64_t	read_mair_el2 (void)
static ALWAYS_INLINE void	write_mair_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_mair_el2 (void)
static ALWAYS_INLINE uint64_t	read_mair_el3 (void)
static ALWAYS_INLINE void	write_mair_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_mair_el3 (void)
static ALWAYS_INLINE uint64_t	read_sctlr_el1 (void)
static ALWAYS_INLINE void	write_sctlr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_sctlr_el1 (void)
static ALWAYS_INLINE uint64_t	read_sctlr_el2 (void)
static ALWAYS_INLINE void	write_sctlr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_sctlr_el2 (void)
static ALWAYS_INLINE uint64_t	read_sctlr_el3 (void)
static ALWAYS_INLINE void	write_sctlr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_sctlr_el3 (void)
static ALWAYS_INLINE uint64_t	read_spsr_el1 (void)
static ALWAYS_INLINE void	write_spsr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_spsr_el1 (void)
static ALWAYS_INLINE uint64_t	read_spsr_el2 (void)
static ALWAYS_INLINE void	write_spsr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_spsr_el2 (void)
static ALWAYS_INLINE uint64_t	read_spsr_el3 (void)
static ALWAYS_INLINE void	write_spsr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_spsr_el3 (void)
static ALWAYS_INLINE uint64_t	read_tcr_el1 (void)
static ALWAYS_INLINE void	write_tcr_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_tcr_el1 (void)
static ALWAYS_INLINE uint64_t	read_tcr_el2 (void)
static ALWAYS_INLINE void	write_tcr_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_tcr_el2 (void)
static ALWAYS_INLINE uint64_t	read_tcr_el3 (void)
static ALWAYS_INLINE void	write_tcr_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_tcr_el3 (void)
static ALWAYS_INLINE uint64_t	read_ttbr0_el1 (void)
static ALWAYS_INLINE void	write_ttbr0_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_ttbr0_el1 (void)
static ALWAYS_INLINE uint64_t	read_ttbr0_el2 (void)
static ALWAYS_INLINE void	write_ttbr0_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_ttbr0_el2 (void)
static ALWAYS_INLINE uint64_t	read_ttbr0_el3 (void)
static ALWAYS_INLINE void	write_ttbr0_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_ttbr0_el3 (void)
static ALWAYS_INLINE uint64_t	read_vbar_el1 (void)
static ALWAYS_INLINE void	write_vbar_el1 (uint64_t val)
static ALWAYS_INLINE void	zero_vbar_el1 (void)
static ALWAYS_INLINE uint64_t	read_vbar_el2 (void)
static ALWAYS_INLINE void	write_vbar_el2 (uint64_t val)
static ALWAYS_INLINE void	zero_vbar_el2 (void)
static ALWAYS_INLINE uint64_t	read_vbar_el3 (void)
static ALWAYS_INLINE void	write_vbar_el3 (uint64_t val)
static ALWAYS_INLINE void	zero_vbar_el3 (void)
static ALWAYS_INLINE void	enable_debug_exceptions (void)
static ALWAYS_INLINE void	disable_debug_exceptions (void)
static ALWAYS_INLINE void	enable_serror_exceptions (void)
static ALWAYS_INLINE void	disable_serror_exceptions (void)
static ALWAYS_INLINE void	enable_irq (void)
static ALWAYS_INLINE void	disable_irq (void)
static ALWAYS_INLINE void	enable_fiq (void)
static ALWAYS_INLINE void	disable_fiq (void)
static bool	is_el_implemented (unsigned int el)
static bool	is_el_highest_implemented (void)
static bool	is_el2_sec_supported (void)
static bool	is_in_secure_state (void)

Macro Definition Documentation

MAKE_REG_HELPER

#define MAKE_REG_HELPER

(

reg

)

Value:

        static ALWAYS_INLINE uint64_t read_##reg(void)                  \
        {                                                               \
                return read_sysreg(reg);                                \
        }                                                               \
        static ALWAYS_INLINE void write_##reg(uint64_t val)             \
        {                                                               \
                write_sysreg(val, reg);                                 \
        }                                                               \
        static ALWAYS_INLINE void zero_##reg(void)                      \
        {                                                               \
                zero_sysreg(reg);                                       \
        }

MAKE_REG_HELPER_EL123

#define MAKE_REG_HELPER_EL123

(

reg

)

Value:

        MAKE_REG_HELPER(reg##_el1) \
        MAKE_REG_HELPER(reg##_el2) \
        MAKE_REG_HELPER(reg##_el3)

read_sysreg

#define read_sysreg

(

reg

)

Value:

({                                                                      \
        uint64_t reg_val;                                               \
        __asm__ volatile ("mrs %0, " STRINGIFY(reg)                     \
                          : "=r" (reg_val) :: "memory");                \
        reg_val;                                                        \
})

sev

#define sev

(

)

__asm__ volatile("sev" : : : "memory")

wfe

#define wfe

(

)

__asm__ volatile("wfe" : : : "memory")

wfi

#define wfi

(

)

__asm__ volatile("wfi" : : : "memory")

write_sysreg

#define write_sysreg	(		val,
			reg
	)

Value:

({                                                                      \
        __asm__ volatile ("msr " STRINGIFY(reg) ", %0"                  \
                          :: "r" (val) : "memory");                     \
})

zero_sysreg

#define zero_sysreg

(

reg

)

Value:

({                                                                      \
        __asm__ volatile ("msr " STRINGIFY(reg) ", xzr"                 \
                          ::: "memory");                                \
})

Function Documentation

disable_debug_exceptions()

static ALWAYS_INLINE void disable_debug_exceptions ( void  )

static

disable_fiq()

static ALWAYS_INLINE void disable_fiq ( void  )

static

disable_irq()

static ALWAYS_INLINE void disable_irq ( void  )

static

disable_serror_exceptions()

static ALWAYS_INLINE void disable_serror_exceptions ( void  )

static

enable_debug_exceptions()

static ALWAYS_INLINE void enable_debug_exceptions ( void  )

static

enable_fiq()

static ALWAYS_INLINE void enable_fiq ( void  )

static

enable_irq()

static ALWAYS_INLINE void enable_irq ( void  )

static

enable_serror_exceptions()

static ALWAYS_INLINE void enable_serror_exceptions ( void  )

static

is_el2_sec_supported()

static bool is_el2_sec_supported ( void  )

inlinestatic

is_el_highest_implemented()

static bool is_el_highest_implemented ( void  )

inlinestatic

is_el_implemented()

static bool is_el_implemented ( unsigned int  el )

inlinestatic

is_in_secure_state()

static bool is_in_secure_state ( void  )

inlinestatic

read_actlr_el1()

static ALWAYS_INLINE uint64_t read_actlr_el1 ( void  )

static

read_actlr_el2()

static ALWAYS_INLINE uint64_t read_actlr_el2 ( void  )

static

read_actlr_el3()

static ALWAYS_INLINE uint64_t read_actlr_el3 ( void  )

static

read_ccsidr_el1()

static ALWAYS_INLINE uint64_t read_ccsidr_el1 ( void  )

static

read_clidr_el1()

static ALWAYS_INLINE uint64_t read_clidr_el1 ( void  )

static

read_cntfrq_el0()

static ALWAYS_INLINE uint64_t read_cntfrq_el0 ( void  )

static

read_cnthctl_el2()

static ALWAYS_INLINE uint64_t read_cnthctl_el2 ( void  )

static

read_cnthp_ctl_el2()

static ALWAYS_INLINE uint64_t read_cnthp_ctl_el2 ( void  )

static

read_cnthps_ctl_el2()

static ALWAYS_INLINE uint64_t read_cnthps_ctl_el2 ( void  )

static

read_cntv_ctl_el0()

static ALWAYS_INLINE uint64_t read_cntv_ctl_el0 ( void  )

static

read_cntv_cval_el0()

static ALWAYS_INLINE uint64_t read_cntv_cval_el0 ( void  )

static

read_cntvct_el0()

static ALWAYS_INLINE uint64_t read_cntvct_el0 ( void  )

static

read_cntvoff_el2()

static ALWAYS_INLINE uint64_t read_cntvoff_el2 ( void  )

static

read_cpacr_el1()

static ALWAYS_INLINE uint64_t read_cpacr_el1 ( void  )

static

read_cpacr_el2()

static ALWAYS_INLINE uint64_t read_cpacr_el2 ( void  )

static

read_cpacr_el3()

static ALWAYS_INLINE uint64_t read_cpacr_el3 ( void  )

static

read_cptr_el1()

static ALWAYS_INLINE uint64_t read_cptr_el1 ( void  )

static

read_cptr_el2()

static ALWAYS_INLINE uint64_t read_cptr_el2 ( void  )

static

read_cptr_el3()

static ALWAYS_INLINE uint64_t read_cptr_el3 ( void  )

static

read_csselr_el1()

static ALWAYS_INLINE uint64_t read_csselr_el1 ( void  )

static

read_currentel()

static ALWAYS_INLINE uint64_t read_currentel ( void  )

static

read_daif()

static ALWAYS_INLINE uint64_t read_daif ( void  )

static

read_elr_el1()

static ALWAYS_INLINE uint64_t read_elr_el1 ( void  )

static

read_elr_el2()

static ALWAYS_INLINE uint64_t read_elr_el2 ( void  )

static

read_elr_el3()

static ALWAYS_INLINE uint64_t read_elr_el3 ( void  )

static

read_esr_el1()

static ALWAYS_INLINE uint64_t read_esr_el1 ( void  )

static

read_esr_el2()

static ALWAYS_INLINE uint64_t read_esr_el2 ( void  )

static

read_esr_el3()

static ALWAYS_INLINE uint64_t read_esr_el3 ( void  )

static

read_far_el1()

static ALWAYS_INLINE uint64_t read_far_el1 ( void  )

static

read_far_el2()

static ALWAYS_INLINE uint64_t read_far_el2 ( void  )

static

read_far_el3()

static ALWAYS_INLINE uint64_t read_far_el3 ( void  )

static

read_hcr_el2()

static ALWAYS_INLINE uint64_t read_hcr_el2 ( void  )

static

read_id_aa64mmfr0_el1()

static ALWAYS_INLINE uint64_t read_id_aa64mmfr0_el1 ( void  )

static

read_id_aa64pfr0_el1()

static ALWAYS_INLINE uint64_t read_id_aa64pfr0_el1 ( void  )

static

read_mair_el1()

static ALWAYS_INLINE uint64_t read_mair_el1 ( void  )

static

read_mair_el2()

static ALWAYS_INLINE uint64_t read_mair_el2 ( void  )

static

read_mair_el3()

static ALWAYS_INLINE uint64_t read_mair_el3 ( void  )

static

read_mpidr_el1()

static ALWAYS_INLINE uint64_t read_mpidr_el1 ( void  )

static

read_par_el1()

static ALWAYS_INLINE uint64_t read_par_el1 ( void  )

static

read_scr_el3()

static ALWAYS_INLINE uint64_t read_scr_el3 ( void  )

static

read_sctlr_el1()

static ALWAYS_INLINE uint64_t read_sctlr_el1 ( void  )

static

read_sctlr_el2()

static ALWAYS_INLINE uint64_t read_sctlr_el2 ( void  )

static

read_sctlr_el3()

static ALWAYS_INLINE uint64_t read_sctlr_el3 ( void  )

static

read_sp_el0()

static ALWAYS_INLINE uint64_t read_sp_el0 ( void  )

static

read_spsr_el1()

static ALWAYS_INLINE uint64_t read_spsr_el1 ( void  )

static

read_spsr_el2()

static ALWAYS_INLINE uint64_t read_spsr_el2 ( void  )

static

read_spsr_el3()

static ALWAYS_INLINE uint64_t read_spsr_el3 ( void  )

static

read_tcr_el1()

static ALWAYS_INLINE uint64_t read_tcr_el1 ( void  )

static

read_tcr_el2()

static ALWAYS_INLINE uint64_t read_tcr_el2 ( void  )

static

read_tcr_el3()

static ALWAYS_INLINE uint64_t read_tcr_el3 ( void  )

static

read_tpidrro_el0()

static ALWAYS_INLINE uint64_t read_tpidrro_el0 ( void  )

static

read_ttbr0_el1()

static ALWAYS_INLINE uint64_t read_ttbr0_el1 ( void  )

static

read_ttbr0_el2()

static ALWAYS_INLINE uint64_t read_ttbr0_el2 ( void  )

static

read_ttbr0_el3()

static ALWAYS_INLINE uint64_t read_ttbr0_el3 ( void  )

static

read_vbar_el1()

static ALWAYS_INLINE uint64_t read_vbar_el1 ( void  )

static

read_vbar_el2()

static ALWAYS_INLINE uint64_t read_vbar_el2 ( void  )

static

read_vbar_el3()

static ALWAYS_INLINE uint64_t read_vbar_el3 ( void  )

static

read_vmpidr_el2()

static ALWAYS_INLINE uint64_t read_vmpidr_el2 ( void  )

static

write_actlr_el1()

static ALWAYS_INLINE void write_actlr_el1 ( uint64_t  val )

static

write_actlr_el2()

static ALWAYS_INLINE void write_actlr_el2 ( uint64_t  val )

static

write_actlr_el3()

static ALWAYS_INLINE void write_actlr_el3 ( uint64_t  val )

static

write_ccsidr_el1()

static ALWAYS_INLINE void write_ccsidr_el1 ( uint64_t  val )

static

write_clidr_el1()

static ALWAYS_INLINE void write_clidr_el1 ( uint64_t  val )

static

write_cntfrq_el0()

static ALWAYS_INLINE void write_cntfrq_el0 ( uint64_t  val )

static

write_cnthctl_el2()

static ALWAYS_INLINE void write_cnthctl_el2 ( uint64_t  val )

static

write_cnthp_ctl_el2()

static ALWAYS_INLINE void write_cnthp_ctl_el2 ( uint64_t  val )

static

write_cnthps_ctl_el2()

static ALWAYS_INLINE void write_cnthps_ctl_el2 ( uint64_t  val )

static

write_cntv_ctl_el0()

static ALWAYS_INLINE void write_cntv_ctl_el0 ( uint64_t  val )

static

write_cntv_cval_el0()

static ALWAYS_INLINE void write_cntv_cval_el0 ( uint64_t  val )

static

write_cntvct_el0()

static ALWAYS_INLINE void write_cntvct_el0 ( uint64_t  val )

static

write_cntvoff_el2()

static ALWAYS_INLINE void write_cntvoff_el2 ( uint64_t  val )

static

write_cpacr_el1()

static ALWAYS_INLINE void write_cpacr_el1 ( uint64_t  val )

static

write_cpacr_el2()

static ALWAYS_INLINE void write_cpacr_el2 ( uint64_t  val )

static

write_cpacr_el3()

static ALWAYS_INLINE void write_cpacr_el3 ( uint64_t  val )

static

write_cptr_el1()

static ALWAYS_INLINE void write_cptr_el1 ( uint64_t  val )

static

write_cptr_el2()

static ALWAYS_INLINE void write_cptr_el2 ( uint64_t  val )

static

write_cptr_el3()

static ALWAYS_INLINE void write_cptr_el3 ( uint64_t  val )

static

write_csselr_el1()

static ALWAYS_INLINE void write_csselr_el1 ( uint64_t  val )

static

write_currentel()

static ALWAYS_INLINE void write_currentel ( uint64_t  val )

static

write_daif()

static ALWAYS_INLINE void write_daif ( uint64_t  val )

static

write_elr_el1()

static ALWAYS_INLINE void write_elr_el1 ( uint64_t  val )

static

write_elr_el2()

static ALWAYS_INLINE void write_elr_el2 ( uint64_t  val )

static

write_elr_el3()

static ALWAYS_INLINE void write_elr_el3 ( uint64_t  val )

static

write_esr_el1()

static ALWAYS_INLINE void write_esr_el1 ( uint64_t  val )

static

write_esr_el2()

static ALWAYS_INLINE void write_esr_el2 ( uint64_t  val )

static

write_esr_el3()

static ALWAYS_INLINE void write_esr_el3 ( uint64_t  val )

static

write_far_el1()

static ALWAYS_INLINE void write_far_el1 ( uint64_t  val )

static

write_far_el2()

static ALWAYS_INLINE void write_far_el2 ( uint64_t  val )

static

write_far_el3()

static ALWAYS_INLINE void write_far_el3 ( uint64_t  val )

static

write_hcr_el2()

static ALWAYS_INLINE void write_hcr_el2 ( uint64_t  val )

static

write_id_aa64mmfr0_el1()

static ALWAYS_INLINE void write_id_aa64mmfr0_el1 ( uint64_t  val )

static

write_id_aa64pfr0_el1()

static ALWAYS_INLINE void write_id_aa64pfr0_el1 ( uint64_t  val )

static

write_mair_el1()

static ALWAYS_INLINE void write_mair_el1 ( uint64_t  val )

static

write_mair_el2()

static ALWAYS_INLINE void write_mair_el2 ( uint64_t  val )

static

write_mair_el3()

static ALWAYS_INLINE void write_mair_el3 ( uint64_t  val )

static

write_mpidr_el1()

static ALWAYS_INLINE void write_mpidr_el1 ( uint64_t  val )

static

write_par_el1()

static ALWAYS_INLINE void write_par_el1 ( uint64_t  val )

static

write_scr_el3()

static ALWAYS_INLINE void write_scr_el3 ( uint64_t  val )

static

write_sctlr_el1()

static ALWAYS_INLINE void write_sctlr_el1 ( uint64_t  val )

static

write_sctlr_el2()

static ALWAYS_INLINE void write_sctlr_el2 ( uint64_t  val )

static

write_sctlr_el3()

static ALWAYS_INLINE void write_sctlr_el3 ( uint64_t  val )

static

write_sp_el0()

static ALWAYS_INLINE void write_sp_el0 ( uint64_t  val )

static

write_spsr_el1()

static ALWAYS_INLINE void write_spsr_el1 ( uint64_t  val )

static

write_spsr_el2()

static ALWAYS_INLINE void write_spsr_el2 ( uint64_t  val )

static

write_spsr_el3()

static ALWAYS_INLINE void write_spsr_el3 ( uint64_t  val )

static

write_tcr_el1()

static ALWAYS_INLINE void write_tcr_el1 ( uint64_t  val )

static

write_tcr_el2()

static ALWAYS_INLINE void write_tcr_el2 ( uint64_t  val )

static

write_tcr_el3()

static ALWAYS_INLINE void write_tcr_el3 ( uint64_t  val )

static

write_tpidrro_el0()

static ALWAYS_INLINE void write_tpidrro_el0 ( uint64_t  val )

static

write_ttbr0_el1()

static ALWAYS_INLINE void write_ttbr0_el1 ( uint64_t  val )

static

write_ttbr0_el2()

static ALWAYS_INLINE void write_ttbr0_el2 ( uint64_t  val )

static

write_ttbr0_el3()

static ALWAYS_INLINE void write_ttbr0_el3 ( uint64_t  val )

static

write_vbar_el1()

static ALWAYS_INLINE void write_vbar_el1 ( uint64_t  val )

static

write_vbar_el2()

static ALWAYS_INLINE void write_vbar_el2 ( uint64_t  val )

static

write_vbar_el3()

static ALWAYS_INLINE void write_vbar_el3 ( uint64_t  val )

static

write_vmpidr_el2()

static ALWAYS_INLINE void write_vmpidr_el2 ( uint64_t  val )

static

zero_actlr_el1()

static ALWAYS_INLINE void zero_actlr_el1 ( void  )

static

zero_actlr_el2()

static ALWAYS_INLINE void zero_actlr_el2 ( void  )

static

zero_actlr_el3()

static ALWAYS_INLINE void zero_actlr_el3 ( void  )

static

zero_ccsidr_el1()

static ALWAYS_INLINE void zero_ccsidr_el1 ( void  )

static

zero_clidr_el1()

static ALWAYS_INLINE void zero_clidr_el1 ( void  )

static

zero_cntfrq_el0()

static ALWAYS_INLINE void zero_cntfrq_el0 ( void  )

static

zero_cnthctl_el2()

static ALWAYS_INLINE void zero_cnthctl_el2 ( void  )

static

zero_cnthp_ctl_el2()

static ALWAYS_INLINE void zero_cnthp_ctl_el2 ( void  )

static

zero_cnthps_ctl_el2()

static ALWAYS_INLINE void zero_cnthps_ctl_el2 ( void  )

static

zero_cntv_ctl_el0()

static ALWAYS_INLINE void zero_cntv_ctl_el0 ( void  )

static

zero_cntv_cval_el0()

static ALWAYS_INLINE void zero_cntv_cval_el0 ( void  )

static

zero_cntvct_el0()

static ALWAYS_INLINE void zero_cntvct_el0 ( void  )

static

zero_cntvoff_el2()

static ALWAYS_INLINE void zero_cntvoff_el2 ( void  )

static

zero_cpacr_el1()

static ALWAYS_INLINE void zero_cpacr_el1 ( void  )

static

zero_cpacr_el2()

static ALWAYS_INLINE void zero_cpacr_el2 ( void  )

static

zero_cpacr_el3()

static ALWAYS_INLINE void zero_cpacr_el3 ( void  )

static

zero_cptr_el1()

static ALWAYS_INLINE void zero_cptr_el1 ( void  )

static

zero_cptr_el2()

static ALWAYS_INLINE void zero_cptr_el2 ( void  )

static

zero_cptr_el3()

static ALWAYS_INLINE void zero_cptr_el3 ( void  )

static

zero_csselr_el1()

static ALWAYS_INLINE void zero_csselr_el1 ( void  )

static

zero_currentel()

static ALWAYS_INLINE void zero_currentel ( void  )

static

zero_daif()

static ALWAYS_INLINE void zero_daif ( void  )

static

zero_elr_el1()

static ALWAYS_INLINE void zero_elr_el1 ( void  )

static

zero_elr_el2()

static ALWAYS_INLINE void zero_elr_el2 ( void  )

static

zero_elr_el3()

static ALWAYS_INLINE void zero_elr_el3 ( void  )

static

zero_esr_el1()

static ALWAYS_INLINE void zero_esr_el1 ( void  )

static

zero_esr_el2()

static ALWAYS_INLINE void zero_esr_el2 ( void  )

static

zero_esr_el3()

static ALWAYS_INLINE void zero_esr_el3 ( void  )

static

zero_far_el1()

static ALWAYS_INLINE void zero_far_el1 ( void  )

static

zero_far_el2()

static ALWAYS_INLINE void zero_far_el2 ( void  )

static

zero_far_el3()

static ALWAYS_INLINE void zero_far_el3 ( void  )

static

zero_hcr_el2()

static ALWAYS_INLINE void zero_hcr_el2 ( void  )

static

zero_id_aa64mmfr0_el1()

static ALWAYS_INLINE void zero_id_aa64mmfr0_el1 ( void  )

static

zero_id_aa64pfr0_el1()

static ALWAYS_INLINE void zero_id_aa64pfr0_el1 ( void  )

static

zero_mair_el1()

static ALWAYS_INLINE void zero_mair_el1 ( void  )

static

zero_mair_el2()

static ALWAYS_INLINE void zero_mair_el2 ( void  )

static

zero_mair_el3()

static ALWAYS_INLINE void zero_mair_el3 ( void  )

static

zero_mpidr_el1()

static ALWAYS_INLINE void zero_mpidr_el1 ( void  )

static

zero_par_el1()

static ALWAYS_INLINE void zero_par_el1 ( void  )

static

zero_scr_el3()

static ALWAYS_INLINE void zero_scr_el3 ( void  )

static

zero_sctlr_el1()

static ALWAYS_INLINE void zero_sctlr_el1 ( void  )

static

zero_sctlr_el2()

static ALWAYS_INLINE void zero_sctlr_el2 ( void  )

static

zero_sctlr_el3()

static ALWAYS_INLINE void zero_sctlr_el3 ( void  )

static

zero_sp_el0()

static ALWAYS_INLINE void zero_sp_el0 ( void  )

static

zero_spsr_el1()

static ALWAYS_INLINE void zero_spsr_el1 ( void  )

static

zero_spsr_el2()

static ALWAYS_INLINE void zero_spsr_el2 ( void  )

static

zero_spsr_el3()

static ALWAYS_INLINE void zero_spsr_el3 ( void  )

static

zero_tcr_el1()

static ALWAYS_INLINE void zero_tcr_el1 ( void  )

static

zero_tcr_el2()

static ALWAYS_INLINE void zero_tcr_el2 ( void  )

static

zero_tcr_el3()

static ALWAYS_INLINE void zero_tcr_el3 ( void  )

static

zero_tpidrro_el0()

static ALWAYS_INLINE void zero_tpidrro_el0 ( void  )

static

zero_ttbr0_el1()

static ALWAYS_INLINE void zero_ttbr0_el1 ( void  )

static

zero_ttbr0_el2()

static ALWAYS_INLINE void zero_ttbr0_el2 ( void  )

static

zero_ttbr0_el3()

static ALWAYS_INLINE void zero_ttbr0_el3 ( void  )

static

zero_vbar_el1()

static ALWAYS_INLINE void zero_vbar_el1 ( void  )

static

zero_vbar_el2()

static ALWAYS_INLINE void zero_vbar_el2 ( void  )

static

zero_vbar_el3()

static ALWAYS_INLINE void zero_vbar_el3 ( void  )

static

zero_vmpidr_el2()

static ALWAYS_INLINE void zero_vmpidr_el2 ( void  )

static