Functions | |
| __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_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. | |
| __STATIC_FORCEINLINE uint32_t __get_CCSIDR | ( | void | ) |
Get CCSIDR.
| __STATIC_FORCEINLINE uint32_t __get_CLIDR | ( | void | ) |
Get CLIDR.
| __STATIC_FORCEINLINE uint32_t __get_CSSELR | ( | void | ) |
Get CSSELR.
| __STATIC_FORCEINLINE void __set_CNTP_CVAL | ( | uint64_t | value | ) |
Set CNTP_CVAL.
This function assigns the given value to 64bits PL1 Physical Timer CompareValue Register (CNTP_CVAL).
| [in] | value | CNTP_CVAL Register value to set |
| __STATIC_FORCEINLINE void __set_CSSELR | ( | uint32_t | value | ) |
Set CSSELR.
| __STATIC_FORCEINLINE void __set_DCCISW | ( | uint32_t | value | ) |
Set DCCISW.
| __STATIC_FORCEINLINE void __set_DCCSW | ( | uint32_t | value | ) |
Set DCCSW.
| __STATIC_FORCEINLINE void __set_DCISW | ( | uint32_t | value | ) |
Set DCISW.
| __STATIC_FORCEINLINE void __set_ICIMVAC | ( | uint32_t | value | ) |
Set ICIMVAC.
Instruction Cache Invalidate