|
__STATIC_FORCEINLINE uint32_t | __get_ACTLR (void) |
| Get ACTLR.
|
|
__STATIC_FORCEINLINE void | __set_ACTLR (uint32_t actlr) |
| Set ACTLR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CPACR (void) |
| Get CPACR.
|
|
__STATIC_FORCEINLINE void | __set_CPACR (uint32_t cpacr) |
| Set CPACR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_DFSR (void) |
| Get DFSR.
|
|
__STATIC_FORCEINLINE void | __set_DFSR (uint32_t dfsr) |
| Set DFSR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_IFSR (void) |
| Get IFSR.
|
|
__STATIC_FORCEINLINE void | __set_IFSR (uint32_t ifsr) |
| Set IFSR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_ISR (void) |
| Get ISR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CBAR (void) |
| Get CBAR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_TTBR0 (void) |
| Get TTBR0.
|
|
__STATIC_FORCEINLINE void | __set_TTBR0 (uint32_t ttbr0) |
| Set TTBR0.
|
|
__STATIC_FORCEINLINE uint32_t | __get_DACR (void) |
| Get DACR.
|
|
__STATIC_FORCEINLINE void | __set_DACR (uint32_t dacr) |
| Set DACR.
|
|
__STATIC_FORCEINLINE void | __set_SCTLR (uint32_t sctlr) |
| Set SCTLR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_SCTLR (void) |
| Get SCTLR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_MPIDR (void) |
| Get MPIDR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_VBAR (void) |
| Get VBAR.
|
|
__STATIC_FORCEINLINE void | __set_VBAR (uint32_t vbar) |
| Set VBAR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_MVBAR (void) |
| Get MVBAR.
|
|
__STATIC_FORCEINLINE void | __set_MVBAR (uint32_t mvbar) |
| Set MVBAR.
|
|
__STATIC_FORCEINLINE void | __set_CNTFRQ (uint32_t value) |
| Set CNTFRQ.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CNTFRQ (void) |
| Get CNTFRQ.
|
|
__STATIC_FORCEINLINE void | __set_CNTP_TVAL (uint32_t value) |
| Set CNTP_TVAL.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CNTP_TVAL (void) |
| Get CNTP_TVAL.
|
|
__STATIC_FORCEINLINE uint64_t | __get_CNTPCT (void) |
| Get CNTPCT.
|
|
__STATIC_FORCEINLINE void | __set_CNTP_CVAL (uint64_t value) |
| Set CNTP_CVAL.
|
|
__STATIC_FORCEINLINE uint64_t | __get_CNTP_CVAL (void) |
| Get CNTP_CVAL.
|
|
__STATIC_FORCEINLINE void | __set_CNTP_CTL (uint32_t value) |
| Set CNTP_CTL.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CNTP_CTL (void) |
| Get CNTP_CTL register.
|
|
__STATIC_FORCEINLINE void | __set_CNTV_TVAL (uint32_t value) |
| Set CNTV_TVAL This function assigns the given value to VL1 Virtual Timer Value Register (CNTV_TVAL).
|
|
__STATIC_FORCEINLINE uint32_t | __get_CNTV_TVAL (void) |
| Get CNTV_TVAL This function returns the value of the VL1 Virtual Timer Value Register (CNTV_TVAL).
|
|
__STATIC_FORCEINLINE uint64_t | __get_CNTVCT (void) |
| Get CNTVCT This function returns the value of the 64 bits VL1 Virtual Count Register (CNTVCT).
|
|
__STATIC_FORCEINLINE void | __set_CNTV_CVAL (uint64_t value) |
| Set CNTV_CVAL This function assigns the given value to 64bits VL1 Virtual Timer CompareValue Register (CNTV_CVAL).
|
|
__STATIC_FORCEINLINE uint64_t | __get_CNTV_CVAL (void) |
| Get CNTV_CVAL This function returns the value of the 64 bits VL1 Virtual Timer CompareValue Register (CNTV_CVAL).
|
|
__STATIC_FORCEINLINE void | __set_CNTV_CTL (uint32_t value) |
| Set CNTV_CTL This function assigns the given value to VL1 Virtual Timer Control Register (CNTV_CTL).
|
|
__STATIC_FORCEINLINE uint32_t | __get_CNTV_CTL (void) |
| Get CNTV_CTL register.
|
|
__STATIC_FORCEINLINE void | __set_TLBIALL (uint32_t value) |
| Set TLBIALL.
|
|
__STATIC_FORCEINLINE void | __set_BPIALL (uint32_t value) |
| Set BPIALL.
|
|
__STATIC_FORCEINLINE void | __set_ICIALLU (uint32_t value) |
| Set ICIALLU.
|
|
__STATIC_FORCEINLINE void | __set_ICIMVAC (uint32_t value) |
| Set ICIMVAC.
|
|
__STATIC_FORCEINLINE void | __set_DCCMVAC (uint32_t value) |
| Set DCCMVAC.
|
|
__STATIC_FORCEINLINE void | __set_DCIMVAC (uint32_t value) |
| Set DCIMVAC.
|
|
__STATIC_FORCEINLINE void | __set_DCCIMVAC (uint32_t value) |
| Set DCCIMVAC.
|
|
__STATIC_FORCEINLINE void | __set_CSSELR (uint32_t value) |
| Set CSSELR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CSSELR (void) |
| Get CSSELR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CCSIDR (void) |
| Get CCSIDR.
|
|
__STATIC_FORCEINLINE uint32_t | __get_CLIDR (void) |
| Get CLIDR.
|
|
__STATIC_FORCEINLINE void | __set_DCISW (uint32_t value) |
| Set DCISW.
|
|
__STATIC_FORCEINLINE void | __set_DCCSW (uint32_t value) |
| Set DCCSW.
|
|
__STATIC_FORCEINLINE void | __set_DCCISW (uint32_t value) |
| Set DCCISW.
|
|