|
static ALWAYS_INLINE uint32_t | read_mpuir (void) |
|
static ALWAYS_INLINE void | write_mpuir (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_mpidr (void) |
|
static ALWAYS_INLINE void | write_mpidr (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_sctlr (void) |
|
static ALWAYS_INLINE void | write_sctlr (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_prselr (void) |
|
static ALWAYS_INLINE void | write_prselr (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_prbar (void) |
|
static ALWAYS_INLINE void | write_prbar (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_prlar (void) |
|
static ALWAYS_INLINE void | write_prlar (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_mair0 (void) |
|
static ALWAYS_INLINE void | write_mair0 (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_vbar (void) |
|
static ALWAYS_INLINE void | write_vbar (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_cntv_ctl (void) |
|
static ALWAYS_INLINE void | write_cntv_ctl (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_ctr (void) |
|
static ALWAYS_INLINE void | write_ctr (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_tpidruro (void) |
|
static ALWAYS_INLINE void | write_tpidruro (uint32_t val) |
|
static ALWAYS_INLINE uint64_t | read_ICC_SGI1R (void) |
|
static ALWAYS_INLINE void | write_ICC_SGI1R (uint64_t val) |
|
static ALWAYS_INLINE uint64_t | read_cntvct (void) |
|
static ALWAYS_INLINE void | write_cntvct (uint64_t val) |
|
static ALWAYS_INLINE uint64_t | read_cntv_cval (void) |
|
static ALWAYS_INLINE void | write_cntv_cval (uint64_t val) |
|
static ALWAYS_INLINE uint32_t | read_ICC_PMR_EL1 (void) |
|
static ALWAYS_INLINE void | write_ICC_PMR_EL1 (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_ICC_IAR1_EL1 (void) |
|
static ALWAYS_INLINE void | write_ICC_IAR1_EL1 (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_ICC_EOIR1_EL1 (void) |
|
static ALWAYS_INLINE void | write_ICC_EOIR1_EL1 (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_ICC_SRE_EL1 (void) |
|
static ALWAYS_INLINE void | write_ICC_SRE_EL1 (uint32_t val) |
|
static ALWAYS_INLINE uint32_t | read_ICC_IGRPEN1_EL1 (void) |
|
static ALWAYS_INLINE void | write_ICC_IGRPEN1_EL1 (uint32_t val) |
|