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_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.

Function Documentation

◆ __get_CCSIDR()

__STATIC_FORCEINLINE uint32_t __get_CCSIDR ( void )

Get CCSIDR.

Returns: CCSIDR Register value

◆ __get_CLIDR()

__STATIC_FORCEINLINE uint32_t __get_CLIDR ( void )

Get CLIDR.

Returns: CLIDR Register value

◆ __get_CNTV_CTL()

__STATIC_FORCEINLINE uint32_t __get_CNTV_CTL ( void )

Get CNTV_CTL register.

Returns: CNTV_CTL Register value

◆ __get_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).

Returns: CNTV_CVAL Register value

◆ __get_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).

Returns: CNTV_TVAL Register value

◆ __get_CNTVCT()

__STATIC_FORCEINLINE uint64_t __get_CNTVCT ( void )

Get CNTVCT This function returns the value of the 64 bits VL1 Virtual Count Register (CNTVCT).

Returns: CNTVCT Register value

◆ __get_CSSELR()

__STATIC_FORCEINLINE uint32_t __get_CSSELR ( void )

Get CSSELR.

Returns: CSSELR Register value

◆ __set_CNTP_CVAL()

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

Parameters

[in] value CNTP_CVAL Register value to set

◆ __set_CNTV_CTL()

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

Parameters

[in] value CNTV_CTL Register value to set

◆ __set_CNTV_CVAL()

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

Parameters

[in] value CNTV_CVAL Register value to set

◆ __set_CNTV_TVAL()

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

see [ARM DDI 0406C.d] : . §B4.1.31 "CNTV_CTL, Counter-timer Virtual Timer Control register" . §B4.1.32 "CNTV_CVAL, Counter-timer Virtual Timer CompareValue register" . §B4.1.33 "CNTV_TVAL, Counter-timer Virtual Timer TimerValue register" . §B4.1.34 "CNTVCT, Counter-timer Virtual Count register"

Parameters

[in] value CNTV_TVAL Register value to set

◆ __set_CSSELR()

__STATIC_FORCEINLINE void __set_CSSELR ( uint32_t value )

Set CSSELR.

◆ __set_DCCISW()

__STATIC_FORCEINLINE void __set_DCCISW ( uint32_t value )

Set DCCISW.

◆ __set_DCCSW()

__STATIC_FORCEINLINE void __set_DCCSW ( uint32_t value )

Set DCCSW.

◆ __set_DCISW()

__STATIC_FORCEINLINE void __set_DCISW ( uint32_t value )

Set DCISW.

◆ __set_ICIMVAC()

__STATIC_FORCEINLINE void __set_ICIMVAC ( uint32_t value )

Set ICIMVAC.

Instruction Cache Invalidate

Functions

Function Documentation

◆ __get_CCSIDR()

◆ __get_CLIDR()

◆ __get_CNTV_CTL()

◆ __get_CNTV_CVAL()

◆ __get_CNTV_TVAL()

◆ __get_CNTVCT()

◆ __get_CSSELR()

◆ __set_CNTP_CVAL()

◆ __set_CNTV_CTL()

◆ __set_CNTV_CVAL()

◆ __set_CNTV_TVAL()

◆ __set_CSSELR()

◆ __set_DCCISW()

◆ __set_DCCSW()

◆ __set_DCISW()

◆ __set_ICIMVAC()