|
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) |
|