Skip to main content

Crate arm_sysregs

Crate arm_sysregs 

Source
Expand description

Access to Arm CPU system registers.

Modules§

fakefakes
Fake implementations of system register getters and setters for unit tests.

Macros§

read_sysreg
Generates a public function named read_$sysreg to read the fake system register $sysreg of type $type.
read_write_sysreg
Generates public functions named read_$sysreg and write_$sysreg to read or write (respectively) a value of type $type from/to the system register $sysreg.
write_sysreg
Generates a public function named write_$sysreg to write to the fake system register $sysreg of type $type.

Structs§

Amcfgr
AMCFGR system register value.
Amcgcr
AMCGCR system register value.
Amcntenclr0
AMCNTENCLR0 system register value.
Amcntenclr1
AMCNTENCLR1 system register value.
Amcntenset0
AMCNTENSET0 system register value.
Amcntenset1
AMCNTENSET1 system register value.
Amcr
AMCR system register value.
Amuserenr
AMUSERENR system register value.
ApiakeyhiEl1
APIAKeyHi_EL1 system register value.
ApiakeyloEl1
APIAKeyLo_EL1 system register value.
CacheLevel
Wrapper type for describing cache level in a human readable format, e.g. L3 cache = CacheLevel(3)
Ccsidr
CCSIDR system register value.
Ccsidr2
CCSIDR2 system register value.
CcsidrEl1
CCSIDR_EL1 system register value.
Clidr
CLIDR system register value.
ClidrEl1
CLIDR_EL1 system register value.
Cntfrq
CNTFRQ system register value.
CntfrqEl0
CNTFRQ_EL0 system register value.
Cnthctl
CNTHCTL system register value.
CnthctlEl2
CNTHCTL_EL2 system register value.
CnthpCtl
CNTHP_CTL system register value.
CnthpCtlEl2
CNTHP_CTL_EL2 system register value.
CnthpCval
CNTHP_CVAL system register value.
CnthpCvalEl2
CNTHP_CVAL_EL2 system register value.
CnthpTval
CNTHP_TVAL system register value.
CnthpTvalEl2
CNTHP_TVAL_EL2 system register value.
CnthpsCtl
CNTHPS_CTL system register value.
CnthpsCtlEl2
CNTHPS_CTL_EL2 system register value.
CnthpsCval
CNTHPS_CVAL system register value.
CnthpsCvalEl2
CNTHPS_CVAL_EL2 system register value.
CnthpsTval
CNTHPS_TVAL system register value.
CnthpsTvalEl2
CNTHPS_TVAL_EL2 system register value.
CnthvCtl
CNTHV_CTL system register value.
CnthvCtlEl2
CNTHV_CTL_EL2 system register value.
CnthvCval
CNTHV_CVAL system register value.
CnthvCvalEl2
CNTHV_CVAL_EL2 system register value.
CnthvTval
CNTHV_TVAL system register value.
CnthvTvalEl2
CNTHV_TVAL_EL2 system register value.
CnthvsCtl
CNTHVS_CTL system register value.
CnthvsCtlEl2
CNTHVS_CTL_EL2 system register value.
CnthvsCval
CNTHVS_CVAL system register value.
CnthvsCvalEl2
CNTHVS_CVAL_EL2 system register value.
CnthvsTval
CNTHVS_TVAL system register value.
CnthvsTvalEl2
CNTHVS_TVAL_EL2 system register value.
Cntkctl
CNTKCTL system register value.
CntkctlEl1
CNTKCTL_EL1 system register value.
CntpCtl
CNTP_CTL system register value.
CntpCtlEl0
CNTP_CTL_EL0 system register value.
CntpCval
CNTP_CVAL system register value.
CntpCvalEl0
CNTP_CVAL_EL0 system register value.
CntpTval
CNTP_TVAL system register value.
CntpTvalEl0
CNTP_TVAL_EL0 system register value.
Cntpct
CNTPCT system register value.
CntpctEl0
CNTPCT_EL0 system register value.
Cntpctss
CNTPCTSS system register value.
CntpctssEl0
CNTPCTSS_EL0 system register value.
CntpoffEl2
CNTPOFF_EL2 system register value.
CntpsCtlEl1
CNTPS_CTL_EL1 system register value.
CntpsCvalEl1
CNTPS_CVAL_EL1 system register value.
CntpsTvalEl1
CNTPS_TVAL_EL1 system register value.
CntvCtl
CNTV_CTL system register value.
CntvCtlEl0
CNTV_CTL_EL0 system register value.
CntvCval
CNTV_CVAL system register value.
CntvCvalEl0
CNTV_CVAL_EL0 system register value.
CntvTval
CNTV_TVAL system register value.
CntvTvalEl0
CNTV_TVAL_EL0 system register value.
Cntvct
CNTVCT system register value.
CntvctEl0
CNTVCT_EL0 system register value.
Cntvctss
CNTVCTSS system register value.
CntvctssEl0
CNTVCTSS_EL0 system register value.
Cntvoff
CNTVOFF system register value.
CntvoffEl2
CNTVOFF_EL2 system register value.
Contextidr
CONTEXTIDR system register value.
ContextidrEl1
CONTEXTIDR_EL1 system register value.
ContextidrEl2
CONTEXTIDR_EL2 system register value.
Cpacr
CPACR system register value.
CpacrEl1
CPACR_EL1 system register value.
CptrEl2
CPTR_EL2 system register value.
CptrEl3
CPTR_EL3 system register value.
Csselr
CSSELR system register value.
CsselrEl1
CSSELR_EL1 system register value.
Ctr
CTR system register value.
CtrEl0
CTR_EL0 system register value.
Currentel
CurrentEL system register value.
Dacr
DACR system register value.
Dbgauthstatus
DBGAUTHSTATUS system register value.
Dbgclaimclr
DBGCLAIMCLR system register value.
Dbgclaimset
DBGCLAIMSET system register value.
Dbgdccint
DBGDCCINT system register value.
Dbgdevid
DBGDEVID system register value.
Dbgdevid1
DBGDEVID1 system register value.
Dbgdidr
DBGDIDR system register value.
Dbgdrar
DBGDRAR system register value.
Dbgdscrext
DBGDSCRext system register value.
Dbgdscrint
DBGDSCRint system register value.
Dbgdtrrxext
DBGDTRRXext system register value.
Dbgdtrrxint
DBGDTRRXint system register value.
Dbgdtrtxext
DBGDTRTXext system register value.
Dbgdtrtxint
DBGDTRTXint system register value.
Dbgosdlr
DBGOSDLR system register value.
Dbgoseccr
DBGOSECCR system register value.
Dbgoslar
DBGOSLAR system register value.
Dbgoslsr
DBGOSLSR system register value.
Dbgprcr
DBGPRCR system register value.
Dbgvcr
DBGVCR system register value.
Dfar
DFAR system register value.
Dfsr
DFSR system register value.
Disr
DISR system register value.
DisrEl1
DISR_EL1 system register value.
Dit
DIT system register value.
Dlr
DLR system register value.
Dspsr
DSPSR system register value.
Dspsr2
DSPSR2 system register value.
ElrEl1
ELR_EL1 system register value.
ElrEl2
ELR_EL2 system register value.
ElrHyp
ELR_hyp system register value.
Erridr
ERRIDR system register value.
Errselr
ERRSELR system register value.
Erxaddr
ERXADDR system register value.
Erxaddr2
ERXADDR2 system register value.
Erxctlr
ERXCTLR system register value.
Erxctlr2
ERXCTLR2 system register value.
Erxfr
ERXFR system register value.
Erxfr2
ERXFR2 system register value.
Erxmisc0
ERXMISC0 system register value.
Erxmisc1
ERXMISC1 system register value.
Erxmisc2
ERXMISC2 system register value.
Erxmisc3
ERXMISC3 system register value.
Erxmisc4
ERXMISC4 system register value.
Erxmisc5
ERXMISC5 system register value.
Erxmisc6
ERXMISC6 system register value.
Erxmisc7
ERXMISC7 system register value.
Erxstatus
ERXSTATUS system register value.
EsrEl1
ESR_EL1 system register value.
EsrEl2
ESR_EL2 system register value.
EsrEl3
ESR_EL3 system register value.
FarEl1
FAR_EL1 system register value.
FarEl2
FAR_EL2 system register value.
GcrEl1
GCR_EL1 system register value.
GcscrEl1
GCSCR_EL1 system register value.
GcscrEl2
GCSCR_EL2 system register value.
GpccrEl3
GPCCR_EL3 system register value.
GptbrEl3
GPTBR_EL3 system register value.
HafgrtrEl2
HAFGRTR_EL2 system register value.
Hcptr
HCPTR system register value.
Hcr
HCR system register value.
Hcr2
HCR2 system register value.
HcrEl2
HCR_EL2 system register value.
HcrxEl2
HCRX_EL2 system register value.
Hdcr
HDCR system register value.
Hdfar
HDFAR system register value.
Hdfgrtr2El2
HDFGRTR2_EL2 system register value.
HdfgrtrEl2
HDFGRTR_EL2 system register value.
Hdfgwtr2El2
HDFGWTR2_EL2 system register value.
HdfgwtrEl2
HDFGWTR_EL2 system register value.
Hfgitr2El2
HFGITR2_EL2 system register value.
HfgitrEl2
HFGITR_EL2 system register value.
Hfgrtr2El2
HFGRTR2_EL2 system register value.
HfgrtrEl2
HFGRTR_EL2 system register value.
Hfgwtr2El2
HFGWTR2_EL2 system register value.
HfgwtrEl2
HFGWTR_EL2 system register value.
Hifar
HIFAR system register value.
Hmair0
HMAIR0 system register value.
Hmair1
HMAIR1 system register value.
Hpfar
HPFAR system register value.
HpfarEl2
HPFAR_EL2 system register value.
Hrmr
HRMR system register value.
Hsctlr
HSCTLR system register value.
Hsr
HSR system register value.
Htcr
HTCR system register value.
Htpidr
HTPIDR system register value.
Htrfcr
HTRFCR system register value.
Httbr
HTTBR system register value.
Hvbar
HVBAR system register value.
IccAp1r0El1
ICC_AP1R0_EL1 system register value.
IccAsgi1r
ICC_ASGI1R system register value.
IccAsgi1rEl1
ICC_ASGI1R_EL1 system register value.
IccBpr0
ICC_BPR0 system register value.
IccBpr0El1
ICC_BPR0_EL1 system register value.
IccBpr1
ICC_BPR1 system register value.
IccBpr1El1
ICC_BPR1_EL1 system register value.
IccCtlr
ICC_CTLR system register value.
IccCtlrEl1
ICC_CTLR_EL1 system register value.
IccCtlrEl3
ICC_CTLR_EL3 system register value.
IccDir
ICC_DIR system register value.
IccDirEl1
ICC_DIR_EL1 system register value.
IccEoir0
ICC_EOIR0 system register value.
IccEoir0El1
ICC_EOIR0_EL1 system register value.
IccEoir1
ICC_EOIR1 system register value.
IccEoir1El1
ICC_EOIR1_EL1 system register value.
IccHppir0
ICC_HPPIR0 system register value.
IccHppir0El1
ICC_HPPIR0_EL1 system register value.
IccHppir1
ICC_HPPIR1 system register value.
IccHppir1El1
ICC_HPPIR1_EL1 system register value.
IccHsre
ICC_HSRE system register value.
IccIar0
ICC_IAR0 system register value.
IccIar0El1
ICC_IAR0_EL1 system register value.
IccIar1
ICC_IAR1 system register value.
IccIar1El1
ICC_IAR1_EL1 system register value.
IccIgrpen0
ICC_IGRPEN0 system register value.
IccIgrpen0El1
ICC_IGRPEN0_EL1 system register value.
IccIgrpen1
ICC_IGRPEN1 system register value.
IccIgrpen1El1
ICC_IGRPEN1_EL1 system register value.
IccIgrpen1El3
ICC_IGRPEN1_EL3 system register value.
IccMctlr
ICC_MCTLR system register value.
IccMgrpen1
ICC_MGRPEN1 system register value.
IccMsre
ICC_MSRE system register value.
IccNmiar1El1
ICC_NMIAR1_EL1 system register value.
IccPmr
ICC_PMR system register value.
IccPmrEl1
ICC_PMR_EL1 system register value.
IccRpr
ICC_RPR system register value.
IccRprEl1
ICC_RPR_EL1 system register value.
IccSgi0r
ICC_SGI0R system register value.
IccSgi0rEl1
ICC_SGI0R_EL1 system register value.
IccSgi1r
ICC_SGI1R system register value.
IccSgi1rEl1
ICC_SGI1R_EL1 system register value.
IccSre
ICC_SRE system register value.
IccSreEl1
ICC_SRE_EL1 system register value.
IccSreEl2
ICC_SRE_EL2 system register value.
IccSreEl3
ICC_SRE_EL3 system register value.
IchHcrEl2
ICH_HCR_EL2 system register value.
IchVmcrEl2
ICH_VMCR_EL2 system register value.
IdAa64dfr0El1
ID_AA64DFR0_EL1 system register value.
IdAa64dfr1El1
ID_AA64DFR1_EL1 system register value.
IdAa64isar1El1
ID_AA64ISAR1_EL1 system register value.
IdAa64isar2El1
ID_AA64ISAR2_EL1 system register value.
IdAa64mmfr0El1
ID_AA64MMFR0_EL1 system register value.
IdAa64mmfr1El1
ID_AA64MMFR1_EL1 system register value.
IdAa64mmfr2El1
ID_AA64MMFR2_EL1 system register value.
IdAa64mmfr3El1
ID_AA64MMFR3_EL1 system register value.
IdAa64pfr0El1
ID_AA64PFR0_EL1 system register value.
IdAa64pfr1El1
ID_AA64PFR1_EL1 system register value.
IdAa64smfr0El1
ID_AA64SMFR0_EL1 system register value.
IdDfr0
ID_DFR0 system register value.
IdDfr1
ID_DFR1 system register value.
IdIsar0
ID_ISAR0 system register value.
IdIsar1
ID_ISAR1 system register value.
IdIsar2
ID_ISAR2 system register value.
IdIsar3
ID_ISAR3 system register value.
IdIsar4
ID_ISAR4 system register value.
IdIsar5
ID_ISAR5 system register value.
IdIsar6
ID_ISAR6 system register value.
IdMmfr0
ID_MMFR0 system register value.
IdMmfr1
ID_MMFR1 system register value.
IdMmfr2
ID_MMFR2 system register value.
IdMmfr3
ID_MMFR3 system register value.
IdMmfr4
ID_MMFR4 system register value.
IdMmfr5
ID_MMFR5 system register value.
IdPfr0
ID_PFR0 system register value.
IdPfr1
ID_PFR1 system register value.
IdPfr2
ID_PFR2 system register value.
Ifar
IFAR system register value.
Ifsr
IFSR system register value.
Isr
ISR system register value.
IsrEl1
ISR_EL1 system register value.
Mair0
MAIR0 system register value.
Mair1
MAIR1 system register value.
MairEl1
MAIR_EL1 system register value.
MairEl2
MAIR_EL2 system register value.
MairEl3
MAIR_EL3 system register value.
MdccintEl1
MDCCINT_EL1 system register value.
MdcrEl2
MDCR_EL2 system register value.
MdcrEl3
MDCR_EL3 system register value.
MdscrEl1
MDSCR_EL1 system register value.
Midr
MIDR system register value.
MidrEl1
MIDR_EL1 system register value.
Mpam2El2
MPAM2_EL2 system register value.
Mpam3El3
MPAM3_EL3 system register value.
MpamhcrEl2
MPAMHCR_EL2 system register value.
MpamidrEl1
MPAMIDR_EL1 system register value.
Mpamvpm0El2
MPAMVPM0_EL2 system register value.
Mpamvpm1El2
MPAMVPM1_EL2 system register value.
Mpamvpm2El2
MPAMVPM2_EL2 system register value.
Mpamvpm3El2
MPAMVPM3_EL2 system register value.
Mpamvpm4El2
MPAMVPM4_EL2 system register value.
Mpamvpm5El2
MPAMVPM5_EL2 system register value.
Mpamvpm6El2
MPAMVPM6_EL2 system register value.
Mpamvpm7El2
MPAMVPM7_EL2 system register value.
MpamvpmvEl2
MPAMVPMV_EL2 system register value.
Mpidr
MPIDR system register value.
MpidrEl1
MPIDR_EL1 system register value.
Mvbar
MVBAR system register value.
Nmrr
NMRR system register value.
Nsacr
NSACR system register value.
Par
PAR system register value.
ParEl1
PAR_EL1 system register value.
Pmccfiltr
PMCCFILTR system register value.
Pmccntr
PMCCNTR system register value.
Pmceid0
PMCEID0 system register value.
Pmceid1
PMCEID1 system register value.
Pmceid2
PMCEID2 system register value.
Pmceid3
PMCEID3 system register value.
Pmcntenclr
PMCNTENCLR system register value.
Pmcntenset
PMCNTENSET system register value.
Pmcr
PMCR system register value.
PmcrEl0
PMCR_EL0 system register value.
Pmintenclr
PMINTENCLR system register value.
Pmintenset
PMINTENSET system register value.
Pmmir
PMMIR system register value.
Pmovsr
PMOVSR system register value.
Pmovsset
PMOVSSET system register value.
Pmselr
PMSELR system register value.
Pmswinc
PMSWINC system register value.
Pmuserenr
PMUSERENR system register value.
Pmxevtyper
PMXEVTYPER system register value.
Prrr
PRRR system register value.
RgsrEl1
RGSR_EL1 system register value.
Rmr
RMR system register value.
Rvbar
RVBAR system register value.
Scr
SCR system register value.
ScrEl3
SCR_EL3 system register value.
Sctlr
SCTLR system register value.
Sctlr2El3
SCTLR2_EL3 system register value.
SctlrEl1
SCTLR_EL1 system register value.
SctlrEl2
SCTLR_EL2 system register value.
SctlrEl3
SCTLR_EL3 system register value.
Sdcr
SDCR system register value.
Sder
SDER system register value.
SmcrEl3
SMCR_EL3 system register value.
SpEl1
SP_EL1 system register value.
SpEl2
SP_EL2 system register value.
SpsrEl1
SPSR_EL1 system register value.
SpsrEl2
SPSR_EL2 system register value.
SpsrEl3
SPSR_EL3 system register value.
Svcr
SVCR system register value.
Tcr2El1
TCR2_EL1 system register value.
Tcr2El2
TCR2_EL2 system register value.
TcrEl1
TCR_EL1 system register value.
TcrEl2
TCR_EL2 system register value.
TcrEl3
TCR_EL3 system register value.
TfsrEl1
TFSR_EL1 system register value.
TfsrEl2
TFSR_EL2 system register value.
Tfsre0El1
TFSRE0_EL1 system register value.
Tlbtr
TLBTR system register value.
TpidrEl0
TPIDR_EL0 system register value.
TpidrEl1
TPIDR_EL1 system register value.
TpidrEl2
TPIDR_EL2 system register value.
TpidrEl3
TPIDR_EL3 system register value.
Tpidrprw
TPIDRPRW system register value.
TpidrroEl0
TPIDRRO_EL0 system register value.
Tpidruro
TPIDRURO system register value.
Tpidrurw
TPIDRURW system register value.
Trfcr
TRFCR system register value.
Ttbcr
TTBCR system register value.
Ttbcr2
TTBCR2 system register value.
Ttbr0
TTBR0 system register value.
Ttbr0El1
TTBR0_EL1 system register value.
Ttbr0El2
TTBR0_EL2 system register value.
Ttbr0El3
TTBR0_EL3 system register value.
Ttbr1
TTBR1 system register value.
Ttbr1El1
TTBR1_EL1 system register value.
Ttbr1El2
TTBR1_EL2 system register value.
Vbar
VBAR system register value.
VbarEl1
VBAR_EL1 system register value.
VbarEl2
VBAR_EL2 system register value.
Vdfsr
VDFSR system register value.
Vdisr
VDISR system register value.
VdisrEl2
VDISR_EL2 system register value.
Vmpidr
VMPIDR system register value.
VmpidrEl2
VMPIDR_EL2 system register value.
Vpidr
VPIDR system register value.
VpidrEl2
VPIDR_EL2 system register value.
VsesrEl2
VSESR_EL2 system register value.
Vtcr
VTCR system register value.
VtcrEl2
VTCR_EL2 system register value.
Vttbr
VTTBR system register value.
VttbrEl2
VTTBR_EL2 system register value.
ZcrEl3
ZCR_EL3 system register value.

Enums§

CacheType
Cache type enum.
Cacheability
Allowed Cacheability attributes.
ExceptionLevel
An AArch64 exception level.
Shareability
Allowed Shareability attributes.
StackPointer
Values for SPSEL.

Functions§

read_actlr
Returns the value of the actlr system register.
read_actlr2
Returns the value of the actlr2 system register.
read_actlr_el1
Returns the value of the actlr_el1 system register.
read_actlr_el2
Returns the value of the actlr_el2 system register.
read_adfsr
Returns the value of the adfsr system register.
read_afsr0_el1
Returns the value of the afsr0_el1 system register.
read_afsr0_el2
Returns the value of the afsr0_el2 system register.
read_afsr1_el1
Returns the value of the afsr1_el1 system register.
read_afsr1_el2
Returns the value of the afsr1_el2 system register.
read_aidr
Returns the value of the aidr system register.
read_aifsr
Returns the value of the aifsr system register.
read_amair0
Returns the value of the amair0 system register.
read_amair1
Returns the value of the amair1 system register.
read_amair_el1
Returns the value of the amair_el1 system register.
read_amair_el2
Returns the value of the amair_el2 system register.
read_amcfgr
Returns the value of the amcfgr system register.
read_amcgcr
Returns the value of the amcgcr system register.
read_amcntenclr0
Returns the value of the amcntenclr0 system register.
read_amcntenclr1
Returns the value of the amcntenclr1 system register.
read_amcntenset0
Returns the value of the amcntenset0 system register.
read_amcntenset1
Returns the value of the amcntenset1 system register.
read_amcr
Returns the value of the amcr system register.
read_amuserenr
Returns the value of the amuserenr system register.
read_apiakeyhi_el1
Returns the value of the apiakeyhi_el1 system register.
read_apiakeylo_el1
Returns the value of the apiakeylo_el1 system register.
read_ccsidr
Returns the value of the ccsidr system register.
read_ccsidr2
Returns the value of the ccsidr2 system register.
read_ccsidr_el1
Returns the value of the ccsidr_el1 system register.
read_clidr
Returns the value of the clidr system register.
read_clidr_el1
Returns the value of the clidr_el1 system register.
read_cntfrq
Returns the value of the cntfrq system register.
read_cntfrq_el0
Returns the value of the cntfrq_el0 system register.
read_cnthctl
Returns the value of the cnthctl system register.
read_cnthctl_el2
Returns the value of the cnthctl_el2 system register.
read_cnthp_ctl
Returns the value of the cnthp_ctl system register.
read_cnthp_ctl_el2
Returns the value of the cnthp_ctl_el2 system register.
read_cnthp_cval
Returns the value of the cnthp_cval system register.
read_cnthp_cval_el2
Returns the value of the cnthp_cval_el2 system register.
read_cnthp_tval
Returns the value of the cnthp_tval system register.
read_cnthp_tval_el2
Returns the value of the cnthp_tval_el2 system register.
read_cnthps_ctl
Returns the value of the cnthps_ctl system register.
read_cnthps_ctl_el2
Returns the value of the cnthps_ctl_el2 system register.
read_cnthps_cval
Returns the value of the cnthps_cval system register.
read_cnthps_cval_el2
Returns the value of the cnthps_cval_el2 system register.
read_cnthps_tval
Returns the value of the cnthps_tval system register.
read_cnthps_tval_el2
Returns the value of the cnthps_tval_el2 system register.
read_cnthv_ctl
Returns the value of the cnthv_ctl system register.
read_cnthv_ctl_el2
Returns the value of the cnthv_ctl_el2 system register.
read_cnthv_cval
Returns the value of the cnthv_cval system register.
read_cnthv_cval_el2
Returns the value of the cnthv_cval_el2 system register.
read_cnthv_tval
Returns the value of the cnthv_tval system register.
read_cnthv_tval_el2
Returns the value of the cnthv_tval_el2 system register.
read_cnthvs_ctl
Returns the value of the cnthvs_ctl system register.
read_cnthvs_ctl_el2
Returns the value of the cnthvs_ctl_el2 system register.
read_cnthvs_cval
Returns the value of the cnthvs_cval system register.
read_cnthvs_cval_el2
Returns the value of the cnthvs_cval_el2 system register.
read_cnthvs_tval
Returns the value of the cnthvs_tval system register.
read_cnthvs_tval_el2
Returns the value of the cnthvs_tval_el2 system register.
read_cntkctl
Returns the value of the cntkctl system register.
read_cntkctl_el1
Returns the value of the cntkctl_el1 system register.
read_cntp_ctl
Returns the value of the cntp_ctl system register.
read_cntp_ctl_el0
Returns the value of the cntp_ctl_el0 system register.
read_cntp_cval
Returns the value of the cntp_cval system register.
read_cntp_cval_el0
Returns the value of the cntp_cval_el0 system register.
read_cntp_tval
Returns the value of the cntp_tval system register.
read_cntp_tval_el0
Returns the value of the cntp_tval_el0 system register.
read_cntpct
Returns the value of the cntpct system register.
read_cntpct_el0
Returns the value of the cntpct_el0 system register.
read_cntpctss
Returns the value of the cntpctss system register.
read_cntpctss_el0
Returns the value of the cntpctss_el0 system register.
read_cntpoff_el2
Returns the value of the cntpoff_el2 system register.
read_cntps_ctl_el1
Returns the value of the cntps_ctl_el1 system register.
read_cntps_cval_el1
Returns the value of the cntps_cval_el1 system register.
read_cntps_tval_el1
Returns the value of the cntps_tval_el1 system register.
read_cntv_ctl
Returns the value of the cntv_ctl system register.
read_cntv_ctl_el0
Returns the value of the cntv_ctl_el0 system register.
read_cntv_cval
Returns the value of the cntv_cval system register.
read_cntv_cval_el0
Returns the value of the cntv_cval_el0 system register.
read_cntv_tval
Returns the value of the cntv_tval system register.
read_cntv_tval_el0
Returns the value of the cntv_tval_el0 system register.
read_cntvct
Returns the value of the cntvct system register.
read_cntvct_el0
Returns the value of the cntvct_el0 system register.
read_cntvctss
Returns the value of the cntvctss system register.
read_cntvctss_el0
Returns the value of the cntvctss_el0 system register.
read_cntvoff
Returns the value of the cntvoff system register.
read_cntvoff_el2
Returns the value of the cntvoff_el2 system register.
read_contextidr
Returns the value of the contextidr system register.
read_contextidr_el1
Returns the value of the contextidr_el1 system register.
read_contextidr_el2
Returns the value of the contextidr_el2 system register.
read_cpacr
Returns the value of the cpacr system register.
read_cpacr_el1
Returns the value of the cpacr_el1 system register.
read_cptr_el2
Returns the value of the cptr_el2 system register.
read_cptr_el3
Returns the value of the cptr_el3 system register.
read_csselr
Returns the value of the csselr system register.
read_csselr_el1
Returns the value of the csselr_el1 system register.
read_ctr
Returns the value of the ctr system register.
read_ctr_el0
Returns the value of the ctr_el0 system register.
read_currentel
Returns the value of the currentel system register.
read_dacr
Returns the value of the dacr system register.
read_dbgauthstatus
Returns the value of the dbgauthstatus system register.
read_dbgclaimclr
Returns the value of the dbgclaimclr system register.
read_dbgclaimset
Returns the value of the dbgclaimset system register.
read_dbgdccint
Returns the value of the dbgdccint system register.
read_dbgdevid
Returns the value of the dbgdevid system register.
read_dbgdevid1
Returns the value of the dbgdevid1 system register.
read_dbgdevid2
Returns the value of the dbgdevid2 system register.
read_dbgdidr
Returns the value of the dbgdidr system register.
read_dbgdrar
Returns the value of the dbgdrar system register.
read_dbgdsar
Returns the value of the dbgdsar system register.
read_dbgdscrext
Returns the value of the dbgdscrext system register.
read_dbgdscrint
Returns the value of the dbgdscrint system register.
read_dbgdtrrxext
Returns the value of the dbgdtrrxext system register.
read_dbgdtrrxint
Returns the value of the dbgdtrrxint system register.
read_dbgdtrtxext
Returns the value of the dbgdtrtxext system register.
read_dbgosdlr
Returns the value of the dbgosdlr system register.
read_dbgoseccr
Returns the value of the dbgoseccr system register.
read_dbgoslsr
Returns the value of the dbgoslsr system register.
read_dbgprcr
Returns the value of the dbgprcr system register.
read_dbgvcr
Returns the value of the dbgvcr system register.
read_dbgwfar
Returns the value of the dbgwfar system register.
read_dfar
Returns the value of the dfar system register.
read_dfsr
Returns the value of the dfsr system register.
read_disr
Returns the value of the disr system register.
read_disr_el1
Returns the value of the disr_el1 system register.
read_dit
Returns the value of the dit system register.
read_dlr
Returns the value of the dlr system register.
read_dspsr
Returns the value of the dspsr system register.
read_dspsr2
Returns the value of the dspsr2 system register.
read_elr_el1
Returns the value of the elr_el1 system register.
read_elr_el2
Returns the value of the elr_el2 system register.
read_elr_hyp
Returns the value of the elr_hyp system register.
read_erridr
Returns the value of the erridr system register.
read_errselr
Returns the value of the errselr system register.
read_erxaddr
Returns the value of the erxaddr system register.
read_erxaddr2
Returns the value of the erxaddr2 system register.
read_erxctlr
Returns the value of the erxctlr system register.
read_erxctlr2
Returns the value of the erxctlr2 system register.
read_erxfr
Returns the value of the erxfr system register.
read_erxfr2
Returns the value of the erxfr2 system register.
read_erxmisc0
Returns the value of the erxmisc0 system register.
read_erxmisc1
Returns the value of the erxmisc1 system register.
read_erxmisc2
Returns the value of the erxmisc2 system register.
read_erxmisc3
Returns the value of the erxmisc3 system register.
read_erxmisc4
Returns the value of the erxmisc4 system register.
read_erxmisc5
Returns the value of the erxmisc5 system register.
read_erxmisc6
Returns the value of the erxmisc6 system register.
read_erxmisc7
Returns the value of the erxmisc7 system register.
read_erxstatus
Returns the value of the erxstatus system register.
read_esr_el1
Returns the value of the esr_el1 system register.
read_esr_el2
Returns the value of the esr_el2 system register.
read_esr_el3
Returns the value of the esr_el3 system register.
read_far_el1
Returns the value of the far_el1 system register.
read_far_el2
Returns the value of the far_el2 system register.
read_fcseidr
Returns the value of the fcseidr system register.
read_gcr_el1
Returns the value of the gcr_el1 system register.
read_gcscr_el1
Returns the value of the gcscr_el1 system register.
read_gcscr_el2
Returns the value of the gcscr_el2 system register.
read_gpccr_el3
Returns the value of the gpccr_el3 system register.
read_gptbr_el3
Returns the value of the gptbr_el3 system register.
read_hacr
Returns the value of the hacr system register.
read_hacr_el2
Returns the value of the hacr_el2 system register.
read_hactlr
Returns the value of the hactlr system register.
read_hactlr2
Returns the value of the hactlr2 system register.
read_hadfsr
Returns the value of the hadfsr system register.
read_hafgrtr_el2
Returns the value of the hafgrtr_el2 system register.
read_haifsr
Returns the value of the haifsr system register.
read_hamair0
Returns the value of the hamair0 system register.
read_hamair1
Returns the value of the hamair1 system register.
read_hcptr
Returns the value of the hcptr system register.
read_hcr
Returns the value of the hcr system register.
read_hcr2
Returns the value of the hcr2 system register.
read_hcr_el2
Returns the value of the hcr_el2 system register.
read_hcrx_el2
Returns the value of the hcrx_el2 system register.
read_hdcr
Returns the value of the hdcr system register.
read_hdfar
Returns the value of the hdfar system register.
read_hdfgrtr2_el2
Returns the value of the hdfgrtr2_el2 system register.
read_hdfgrtr_el2
Returns the value of the hdfgrtr_el2 system register.
read_hdfgwtr2_el2
Returns the value of the hdfgwtr2_el2 system register.
read_hdfgwtr_el2
Returns the value of the hdfgwtr_el2 system register.
read_hfgitr2_el2
Returns the value of the hfgitr2_el2 system register.
read_hfgitr_el2
Returns the value of the hfgitr_el2 system register.
read_hfgrtr2_el2
Returns the value of the hfgrtr2_el2 system register.
read_hfgrtr_el2
Returns the value of the hfgrtr_el2 system register.
read_hfgwtr2_el2
Returns the value of the hfgwtr2_el2 system register.
read_hfgwtr_el2
Returns the value of the hfgwtr_el2 system register.
read_hifar
Returns the value of the hifar system register.
read_hmair0
Returns the value of the hmair0 system register.
read_hmair1
Returns the value of the hmair1 system register.
read_hpfar
Returns the value of the hpfar system register.
read_hpfar_el2
Returns the value of the hpfar_el2 system register.
read_hrmr
Returns the value of the hrmr system register.
read_hsctlr
Returns the value of the hsctlr system register.
read_hsr
Returns the value of the hsr system register.
read_hstr
Returns the value of the hstr system register.
read_hstr_el2
Returns the value of the hstr_el2 system register.
read_htcr
Returns the value of the htcr system register.
read_htpidr
Returns the value of the htpidr system register.
read_htrfcr
Returns the value of the htrfcr system register.
read_httbr
Returns the value of the httbr system register.
read_hvbar
Returns the value of the hvbar system register.
read_icc_ap0r0_el1
Returns the value of the icc_ap0r0_el1 system register.
read_icc_ap0r1_el1
Returns the value of the icc_ap0r1_el1 system register.
read_icc_ap0r2_el1
Returns the value of the icc_ap0r2_el1 system register.
read_icc_ap0r3_el1
Returns the value of the icc_ap0r3_el1 system register.
read_icc_ap1r0_el1
Returns the value of the icc_ap1r0_el1 system register.
read_icc_ap1r1_el1
Returns the value of the icc_ap1r1_el1 system register.
read_icc_ap1r2_el1
Returns the value of the icc_ap1r2_el1 system register.
read_icc_ap1r3_el1
Returns the value of the icc_ap1r3_el1 system register.
read_icc_bpr0
Returns the value of the icc_bpr0 system register.
read_icc_bpr0_el1
Returns the value of the icc_bpr0_el1 system register.
read_icc_bpr1
Returns the value of the icc_bpr1 system register.
read_icc_bpr1_el1
Returns the value of the icc_bpr1_el1 system register.
read_icc_ctlr
Returns the value of the icc_ctlr system register.
read_icc_ctlr_el1
Returns the value of the icc_ctlr_el1 system register.
read_icc_ctlr_el3
Returns the value of the icc_ctlr_el3 system register.
read_icc_hppir0
Returns the value of the icc_hppir0 system register.
read_icc_hppir0_el1
Returns the value of the icc_hppir0_el1 system register.
read_icc_hppir1
Returns the value of the icc_hppir1 system register.
read_icc_hppir1_el1
Returns the value of the icc_hppir1_el1 system register.
read_icc_hsre
Returns the value of the icc_hsre system register.
read_icc_iar0
Returns the value of the icc_iar0 system register.
read_icc_iar0_el1
Returns the value of the icc_iar0_el1 system register.
read_icc_iar1
Returns the value of the icc_iar1 system register.
read_icc_iar1_el1
Returns the value of the icc_iar1_el1 system register.
read_icc_igrpen0
Returns the value of the icc_igrpen0 system register.
read_icc_igrpen0_el1
Returns the value of the icc_igrpen0_el1 system register.
read_icc_igrpen1
Returns the value of the icc_igrpen1 system register.
read_icc_igrpen1_el1
Returns the value of the icc_igrpen1_el1 system register.
read_icc_igrpen1_el3
Returns the value of the icc_igrpen1_el3 system register.
read_icc_mctlr
Returns the value of the icc_mctlr system register.
read_icc_mgrpen1
Returns the value of the icc_mgrpen1 system register.
read_icc_msre
Returns the value of the icc_msre system register.
read_icc_nmiar1_el1
Returns the value of the icc_nmiar1_el1 system register.
read_icc_pmr
Returns the value of the icc_pmr system register.
read_icc_pmr_el1
Returns the value of the icc_pmr_el1 system register.
read_icc_rpr
Returns the value of the icc_rpr system register.
read_icc_rpr_el1
Returns the value of the icc_rpr_el1 system register.
read_icc_sre
Returns the value of the icc_sre system register.
read_icc_sre_el1
Returns the value of the icc_sre_el1 system register.
read_icc_sre_el2
Returns the value of the icc_sre_el2 system register.
read_icc_sre_el3
Returns the value of the icc_sre_el3 system register.
read_ich_hcr_el2
Returns the value of the ich_hcr_el2 system register.
read_ich_vmcr_el2
Returns the value of the ich_vmcr_el2 system register.
read_id_aa64dfr0_el1
Returns the value of the id_aa64dfr0_el1 system register.
read_id_aa64dfr1_el1
Returns the value of the id_aa64dfr1_el1 system register.
read_id_aa64isar1_el1
Returns the value of the id_aa64isar1_el1 system register.
read_id_aa64isar2_el1
Returns the value of the id_aa64isar2_el1 system register.
read_id_aa64mmfr0_el1
Returns the value of the id_aa64mmfr0_el1 system register.
read_id_aa64mmfr1_el1
Returns the value of the id_aa64mmfr1_el1 system register.
read_id_aa64mmfr2_el1
Returns the value of the id_aa64mmfr2_el1 system register.
read_id_aa64mmfr3_el1
Returns the value of the id_aa64mmfr3_el1 system register.
read_id_aa64pfr0_el1
Returns the value of the id_aa64pfr0_el1 system register.
read_id_aa64pfr1_el1
Returns the value of the id_aa64pfr1_el1 system register.
read_id_aa64smfr0_el1
Returns the value of the id_aa64smfr0_el1 system register.
read_id_afr0
Returns the value of the id_afr0 system register.
read_id_dfr0
Returns the value of the id_dfr0 system register.
read_id_dfr1
Returns the value of the id_dfr1 system register.
read_id_isar0
Returns the value of the id_isar0 system register.
read_id_isar1
Returns the value of the id_isar1 system register.
read_id_isar2
Returns the value of the id_isar2 system register.
read_id_isar3
Returns the value of the id_isar3 system register.
read_id_isar4
Returns the value of the id_isar4 system register.
read_id_isar5
Returns the value of the id_isar5 system register.
read_id_isar6
Returns the value of the id_isar6 system register.
read_id_mmfr0
Returns the value of the id_mmfr0 system register.
read_id_mmfr1
Returns the value of the id_mmfr1 system register.
read_id_mmfr2
Returns the value of the id_mmfr2 system register.
read_id_mmfr3
Returns the value of the id_mmfr3 system register.
read_id_mmfr4
Returns the value of the id_mmfr4 system register.
read_id_mmfr5
Returns the value of the id_mmfr5 system register.
read_id_pfr0
Returns the value of the id_pfr0 system register.
read_id_pfr1
Returns the value of the id_pfr1 system register.
read_id_pfr2
Returns the value of the id_pfr2 system register.
read_ifar
Returns the value of the ifar system register.
read_ifsr
Returns the value of the ifsr system register.
read_isr
Returns the value of the isr system register.
read_isr_el1
Returns the value of the isr_el1 system register.
read_jidr
Returns the value of the jidr system register.
read_jmcr
Returns the value of the jmcr system register.
read_joscr
Returns the value of the joscr system register.
read_mair0
Returns the value of the mair0 system register.
read_mair1
Returns the value of the mair1 system register.
read_mair_el1
Returns the value of the mair_el1 system register.
read_mair_el2
Returns the value of the mair_el2 system register.
read_mair_el3
Returns the value of the mair_el3 system register.
read_mdccint_el1
Returns the value of the mdccint_el1 system register.
read_mdcr_el2
Returns the value of the mdcr_el2 system register.
read_mdcr_el3
Returns the value of the mdcr_el3 system register.
read_mdscr_el1
Returns the value of the mdscr_el1 system register.
read_midr
Returns the value of the midr system register.
read_midr_el1
Returns the value of the midr_el1 system register.
read_mpam2_el2
Returns the value of the mpam2_el2 system register.
read_mpam3_el3
Returns the value of the mpam3_el3 system register.
read_mpamhcr_el2
Returns the value of the mpamhcr_el2 system register.
read_mpamidr_el1
Returns the value of the mpamidr_el1 system register.
read_mpamvpm0_el2
Returns the value of the mpamvpm0_el2 system register.
read_mpamvpm1_el2
Returns the value of the mpamvpm1_el2 system register.
read_mpamvpm2_el2
Returns the value of the mpamvpm2_el2 system register.
read_mpamvpm3_el2
Returns the value of the mpamvpm3_el2 system register.
read_mpamvpm4_el2
Returns the value of the mpamvpm4_el2 system register.
read_mpamvpm5_el2
Returns the value of the mpamvpm5_el2 system register.
read_mpamvpm6_el2
Returns the value of the mpamvpm6_el2 system register.
read_mpamvpm7_el2
Returns the value of the mpamvpm7_el2 system register.
read_mpamvpmv_el2
Returns the value of the mpamvpmv_el2 system register.
read_mpidr
Returns the value of the mpidr system register.
read_mpidr_el1
Returns the value of the mpidr_el1 system register.
read_mvbar
Returns the value of the mvbar system register.
read_nmrr
Returns the value of the nmrr system register.
read_nsacr
Returns the value of the nsacr system register.
read_par
Returns the value of the par system register.
read_par_el1
Returns the value of the par_el1 system register.
read_pmccfiltr
Returns the value of the pmccfiltr system register.
read_pmccntr
Returns the value of the pmccntr system register.
read_pmceid0
Returns the value of the pmceid0 system register.
read_pmceid1
Returns the value of the pmceid1 system register.
read_pmceid2
Returns the value of the pmceid2 system register.
read_pmceid3
Returns the value of the pmceid3 system register.
read_pmcntenclr
Returns the value of the pmcntenclr system register.
read_pmcntenset
Returns the value of the pmcntenset system register.
read_pmcr
Returns the value of the pmcr system register.
read_pmcr_el0
Returns the value of the pmcr_el0 system register.
read_pmintenclr
Returns the value of the pmintenclr system register.
read_pmintenset
Returns the value of the pmintenset system register.
read_pmmir
Returns the value of the pmmir system register.
read_pmovsr
Returns the value of the pmovsr system register.
read_pmovsset
Returns the value of the pmovsset system register.
read_pmselr
Returns the value of the pmselr system register.
read_pmuserenr
Returns the value of the pmuserenr system register.
read_pmxevtyper
Returns the value of the pmxevtyper system register.
read_prrr
Returns the value of the prrr system register.
read_revidr
Returns the value of the revidr system register.
read_rgsr_el1
Returns the value of the rgsr_el1 system register.
read_rmr
Returns the value of the rmr system register.
read_rvbar
Returns the value of the rvbar system register.
read_scr
Returns the value of the scr system register.
read_scr_el3
Returns the value of the scr_el3 system register.
read_sctlr
Returns the value of the sctlr system register.
read_sctlr2_el3
Returns the value of the sctlr2_el3 system register.
read_sctlr_el1
Returns the value of the sctlr_el1 system register.
read_sctlr_el2
Returns the value of the sctlr_el2 system register.
read_sctlr_el3
Returns the value of the sctlr_el3 system register.
read_sdcr
Returns the value of the sdcr system register.
read_sder
Returns the value of the sder system register.
read_smcr_el3
Returns the value of the smcr_el3 system register.
read_sp_el1
Returns the value of the sp_el1 system register.
read_sp_el2
Returns the value of the sp_el2 system register.
read_spsr_el1
Returns the value of the spsr_el1 system register.
read_spsr_el2
Returns the value of the spsr_el2 system register.
read_spsr_el3
Returns the value of the spsr_el3 system register.
read_svcr
Returns the value of the svcr system register.
read_tcmtr
Returns the value of the tcmtr system register.
read_tcr2_el1
Returns the value of the tcr2_el1 system register.
read_tcr2_el2
Returns the value of the tcr2_el2 system register.
read_tcr_el1
Returns the value of the tcr_el1 system register.
read_tcr_el2
Returns the value of the tcr_el2 system register.
read_tcr_el3
Returns the value of the tcr_el3 system register.
read_tfsr_el1
Returns the value of the tfsr_el1 system register.
read_tfsr_el2
Returns the value of the tfsr_el2 system register.
read_tfsre0_el1
Returns the value of the tfsre0_el1 system register.
read_tlbtr
Returns the value of the tlbtr system register.
read_tpidr_el0
Returns the value of the tpidr_el0 system register.
read_tpidr_el1
Returns the value of the tpidr_el1 system register.
read_tpidr_el2
Returns the value of the tpidr_el2 system register.
read_tpidr_el3
Returns the value of the tpidr_el3 system register.
read_tpidrprw
Returns the value of the tpidrprw system register.
read_tpidrro_el0
Returns the value of the tpidrro_el0 system register.
read_tpidruro
Returns the value of the tpidruro system register.
read_tpidrurw
Returns the value of the tpidrurw system register.
read_trfcr
Returns the value of the trfcr system register.
read_ttbcr
Returns the value of the ttbcr system register.
read_ttbcr2
Returns the value of the ttbcr2 system register.
read_ttbr0
Returns the value of the ttbr0 system register.
read_ttbr0_el1
Returns the value of the ttbr0_el1 system register.
read_ttbr0_el2
Returns the value of the ttbr0_el2 system register.
read_ttbr0_el3
Returns the value of the ttbr0_el3 system register.
read_ttbr1
Returns the value of the ttbr1 system register.
read_ttbr1_el1
Returns the value of the ttbr1_el1 system register.
read_ttbr1_el2
Returns the value of the ttbr1_el2 system register.
read_vbar
Returns the value of the vbar system register.
read_vbar_el1
Returns the value of the vbar_el1 system register.
read_vbar_el2
Returns the value of the vbar_el2 system register.
read_vdfsr
Returns the value of the vdfsr system register.
read_vdisr
Returns the value of the vdisr system register.
read_vdisr_el2
Returns the value of the vdisr_el2 system register.
read_vmpidr
Returns the value of the vmpidr system register.
read_vmpidr_el2
Returns the value of the vmpidr_el2 system register.
read_vpidr
Returns the value of the vpidr system register.
read_vpidr_el2
Returns the value of the vpidr_el2 system register.
read_vsesr_el2
Returns the value of the vsesr_el2 system register.
read_vtcr
Returns the value of the vtcr system register.
read_vtcr_el2
Returns the value of the vtcr_el2 system register.
read_vttbr
Returns the value of the vttbr system register.
read_vttbr_el2
Returns the value of the vttbr_el2 system register.
read_zcr_el3
Returns the value of the zcr_el3 system register.
write_actlr
Writes value to the actlr system register.
write_actlr2
Writes value to the actlr2 system register.
write_actlr_el1
Writes value to the actlr_el1 system register.
write_actlr_el2
Writes value to the actlr_el2 system register.
write_adfsr
Writes value to the adfsr system register.
write_afsr0_el1
Writes value to the afsr0_el1 system register.
write_afsr0_el2
Writes value to the afsr0_el2 system register.
write_afsr1_el1
Writes value to the afsr1_el1 system register.
write_afsr1_el2
Writes value to the afsr1_el2 system register.
write_aifsr
Writes value to the aifsr system register.
write_amair0
Writes value to the amair0 system register.
write_amair1
Writes value to the amair1 system register.
write_amair_el1
Writes value to the amair_el1 system register.
write_amair_el2
Writes value to the amair_el2 system register.
write_amcntenclr0
Writes value to the amcntenclr0 system register.
write_amcntenclr1
Writes value to the amcntenclr1 system register.
write_amcntenset0
Writes value to the amcntenset0 system register.
write_amcntenset1
Writes value to the amcntenset1 system register.
write_amcr
Writes value to the amcr system register.
write_amuserenr
Writes value to the amuserenr system register.
write_apiakeyhi_el1
Writes value to the apiakeyhi_el1 system register.
write_apiakeylo_el1
Writes value to the apiakeylo_el1 system register.
write_cntfrq
Writes value to the cntfrq system register.
write_cntfrq_el0
Writes value to the cntfrq_el0 system register.
write_cnthctl
Writes value to the cnthctl system register.
write_cnthctl_el2
Writes value to the cnthctl_el2 system register.
write_cnthp_ctl
Writes value to the cnthp_ctl system register.
write_cnthp_ctl_el2
Writes value to the cnthp_ctl_el2 system register.
write_cnthp_cval
Writes value to the cnthp_cval system register.
write_cnthp_cval_el2
Writes value to the cnthp_cval_el2 system register.
write_cnthp_tval
Writes value to the cnthp_tval system register.
write_cnthp_tval_el2
Writes value to the cnthp_tval_el2 system register.
write_cnthps_ctl
Writes value to the cnthps_ctl system register.
write_cnthps_ctl_el2
Writes value to the cnthps_ctl_el2 system register.
write_cnthps_cval
Writes value to the cnthps_cval system register.
write_cnthps_cval_el2
Writes value to the cnthps_cval_el2 system register.
write_cnthps_tval
Writes value to the cnthps_tval system register.
write_cnthps_tval_el2
Writes value to the cnthps_tval_el2 system register.
write_cnthv_ctl
Writes value to the cnthv_ctl system register.
write_cnthv_ctl_el2
Writes value to the cnthv_ctl_el2 system register.
write_cnthv_cval
Writes value to the cnthv_cval system register.
write_cnthv_cval_el2
Writes value to the cnthv_cval_el2 system register.
write_cnthv_tval
Writes value to the cnthv_tval system register.
write_cnthv_tval_el2
Writes value to the cnthv_tval_el2 system register.
write_cnthvs_ctl
Writes value to the cnthvs_ctl system register.
write_cnthvs_ctl_el2
Writes value to the cnthvs_ctl_el2 system register.
write_cnthvs_cval
Writes value to the cnthvs_cval system register.
write_cnthvs_cval_el2
Writes value to the cnthvs_cval_el2 system register.
write_cnthvs_tval
Writes value to the cnthvs_tval system register.
write_cnthvs_tval_el2
Writes value to the cnthvs_tval_el2 system register.
write_cntkctl
Writes value to the cntkctl system register.
write_cntkctl_el1
Writes value to the cntkctl_el1 system register.
write_cntp_ctl
Writes value to the cntp_ctl system register.
write_cntp_ctl_el0
Writes value to the cntp_ctl_el0 system register.
write_cntp_cval
Writes value to the cntp_cval system register.
write_cntp_cval_el0
Writes value to the cntp_cval_el0 system register.
write_cntp_tval
Writes value to the cntp_tval system register.
write_cntp_tval_el0
Writes value to the cntp_tval_el0 system register.
write_cntpoff_el2
Writes value to the cntpoff_el2 system register.
write_cntps_ctl_el1
Writes value to the cntps_ctl_el1 system register.
write_cntps_cval_el1
Writes value to the cntps_cval_el1 system register.
write_cntps_tval_el1
Writes value to the cntps_tval_el1 system register.
write_cntv_ctl
Writes value to the cntv_ctl system register.
write_cntv_ctl_el0
Writes value to the cntv_ctl_el0 system register.
write_cntv_cval
Writes value to the cntv_cval system register.
write_cntv_cval_el0
Writes value to the cntv_cval_el0 system register.
write_cntv_tval
Writes value to the cntv_tval system register.
write_cntv_tval_el0
Writes value to the cntv_tval_el0 system register.
write_cntvoff
Writes value to the cntvoff system register.
write_cntvoff_el2
Writes value to the cntvoff_el2 system register.
write_contextidr
Writes value to the contextidr system register.
write_contextidr_el1
Writes value to the contextidr_el1 system register.
write_contextidr_el2
Writes value to the contextidr_el2 system register.
write_cpacr
Writes value to the cpacr system register.
write_cpacr_el1
Writes value to the cpacr_el1 system register.
write_cptr_el2
Writes value to the cptr_el2 system register.
write_cptr_el3
Writes value to the cptr_el3 system register.
write_csselr
Writes value to the csselr system register.
write_csselr_el1
Writes value to the csselr_el1 system register.
write_dacr
Writes value to the dacr system register.
write_dbgclaimclr
Writes value to the dbgclaimclr system register.
write_dbgclaimset
Writes value to the dbgclaimset system register.
write_dbgdccint
Writes value to the dbgdccint system register.
write_dbgdscrext
Writes value to the dbgdscrext system register.
write_dbgdtrrxext
Writes value to the dbgdtrrxext system register.
write_dbgdtrtxext
Writes value to the dbgdtrtxext system register.
write_dbgdtrtxint
Writes value to the dbgdtrtxint system register.
write_dbgosdlr
Writes value to the dbgosdlr system register.
write_dbgoseccr
Writes value to the dbgoseccr system register.
write_dbgoslar
Writes value to the dbgoslar system register.
write_dbgprcr
Writes value to the dbgprcr system register.
write_dbgvcr
Writes value to the dbgvcr system register.
write_dbgwfar
Writes value to the dbgwfar system register.
write_dfar
Writes value to the dfar system register.
write_dfsr
Writes value to the dfsr system register.
write_disr
Writes value to the disr system register.
write_disr_el1
Writes value to the disr_el1 system register.
write_dit
Writes value to the dit system register.
write_dlr
Writes value to the dlr system register.
write_dspsr
Writes value to the dspsr system register.
write_dspsr2
Writes value to the dspsr2 system register.
write_elr_el1
Writes value to the elr_el1 system register.
write_elr_el2
Writes value to the elr_el2 system register.
write_elr_hyp
Writes value to the elr_hyp system register.
write_errselr
Writes value to the errselr system register.
write_erxaddr
Writes value to the erxaddr system register.
write_erxaddr2
Writes value to the erxaddr2 system register.
write_erxctlr
Writes value to the erxctlr system register.
write_erxctlr2
Writes value to the erxctlr2 system register.
write_erxmisc0
Writes value to the erxmisc0 system register.
write_erxmisc1
Writes value to the erxmisc1 system register.
write_erxmisc2
Writes value to the erxmisc2 system register.
write_erxmisc3
Writes value to the erxmisc3 system register.
write_erxmisc4
Writes value to the erxmisc4 system register.
write_erxmisc5
Writes value to the erxmisc5 system register.
write_erxmisc6
Writes value to the erxmisc6 system register.
write_erxmisc7
Writes value to the erxmisc7 system register.
write_erxstatus
Writes value to the erxstatus system register.
write_esr_el1
Writes value to the esr_el1 system register.
write_esr_el2
Writes value to the esr_el2 system register.
write_esr_el3
Writes value to the esr_el3 system register.
write_far_el1
Writes value to the far_el1 system register.
write_far_el2
Writes value to the far_el2 system register.
write_fcseidr
Writes value to the fcseidr system register.
write_gcr_el1
Writes value to the gcr_el1 system register.
write_gcscr_el1
Writes value to the gcscr_el1 system register.
write_gcscr_el2
Writes value to the gcscr_el2 system register.
write_gpccr_el3
Writes value to the gpccr_el3 system register.
write_gptbr_el3
Writes value to the gptbr_el3 system register.
write_hacr
Writes value to the hacr system register.
write_hacr_el2
Writes value to the hacr_el2 system register.
write_hactlr
Writes value to the hactlr system register.
write_hactlr2
Writes value to the hactlr2 system register.
write_hadfsr
Writes value to the hadfsr system register.
write_hafgrtr_el2
Writes value to the hafgrtr_el2 system register.
write_haifsr
Writes value to the haifsr system register.
write_hamair0
Writes value to the hamair0 system register.
write_hamair1
Writes value to the hamair1 system register.
write_hcptr
Writes value to the hcptr system register.
write_hcr
Writes value to the hcr system register.
write_hcr2
Writes value to the hcr2 system register.
write_hcr_el2
Writes value to the hcr_el2 system register.
write_hcrx_el2
Writes value to the hcrx_el2 system register.
write_hdcr
Writes value to the hdcr system register.
write_hdfar
Writes value to the hdfar system register.
write_hdfgrtr2_el2
Writes value to the hdfgrtr2_el2 system register.
write_hdfgrtr_el2
Writes value to the hdfgrtr_el2 system register.
write_hdfgwtr2_el2
Writes value to the hdfgwtr2_el2 system register.
write_hdfgwtr_el2
Writes value to the hdfgwtr_el2 system register.
write_hfgitr2_el2
Writes value to the hfgitr2_el2 system register.
write_hfgitr_el2
Writes value to the hfgitr_el2 system register.
write_hfgrtr2_el2
Writes value to the hfgrtr2_el2 system register.
write_hfgrtr_el2
Writes value to the hfgrtr_el2 system register.
write_hfgwtr2_el2
Writes value to the hfgwtr2_el2 system register.
write_hfgwtr_el2
Writes value to the hfgwtr_el2 system register.
write_hifar
Writes value to the hifar system register.
write_hmair0
Writes value to the hmair0 system register.
write_hmair1
Writes value to the hmair1 system register.
write_hpfar
Writes value to the hpfar system register.
write_hpfar_el2
Writes value to the hpfar_el2 system register.
write_hrmr
Writes value to the hrmr system register.
write_hsctlr
Writes value to the hsctlr system register.
write_hsr
Writes value to the hsr system register.
write_hstr
Writes value to the hstr system register.
write_hstr_el2
Writes value to the hstr_el2 system register.
write_htcr
Writes value to the htcr system register.
write_htpidr
Writes value to the htpidr system register.
write_htrfcr
Writes value to the htrfcr system register.
write_httbr
Writes value to the httbr system register.
write_hvbar
Writes value to the hvbar system register.
write_icc_ap0r0_el1
Writes value to the icc_ap0r0_el1 system register.
write_icc_ap0r1_el1
Writes value to the icc_ap0r1_el1 system register.
write_icc_ap0r2_el1
Writes value to the icc_ap0r2_el1 system register.
write_icc_ap0r3_el1
Writes value to the icc_ap0r3_el1 system register.
write_icc_ap1r0_el1
Writes value to the icc_ap1r0_el1 system register.
write_icc_ap1r1_el1
Writes value to the icc_ap1r1_el1 system register.
write_icc_ap1r2_el1
Writes value to the icc_ap1r2_el1 system register.
write_icc_ap1r3_el1
Writes value to the icc_ap1r3_el1 system register.
write_icc_asgi1r
Writes value to the icc_asgi1r system register.
write_icc_asgi1r_el1
Writes value to the icc_asgi1r_el1 system register.
write_icc_bpr0
Writes value to the icc_bpr0 system register.
write_icc_bpr0_el1
Writes value to the icc_bpr0_el1 system register.
write_icc_bpr1
Writes value to the icc_bpr1 system register.
write_icc_bpr1_el1
Writes value to the icc_bpr1_el1 system register.
write_icc_ctlr
Writes value to the icc_ctlr system register.
write_icc_ctlr_el1
Writes value to the icc_ctlr_el1 system register.
write_icc_ctlr_el3
Writes value to the icc_ctlr_el3 system register.
write_icc_dir
Writes value to the icc_dir system register.
write_icc_dir_el1
Writes value to the icc_dir_el1 system register.
write_icc_eoir0
Writes value to the icc_eoir0 system register.
write_icc_eoir0_el1
Writes value to the icc_eoir0_el1 system register.
write_icc_eoir1
Writes value to the icc_eoir1 system register.
write_icc_eoir1_el1
Writes value to the icc_eoir1_el1 system register.
write_icc_hsre
Writes value to the icc_hsre system register.
write_icc_igrpen0
Writes value to the icc_igrpen0 system register.
write_icc_igrpen0_el1
Writes value to the icc_igrpen0_el1 system register.
write_icc_igrpen1
Writes value to the icc_igrpen1 system register.
write_icc_igrpen1_el1
Writes value to the icc_igrpen1_el1 system register.
write_icc_igrpen1_el3
Writes value to the icc_igrpen1_el3 system register.
write_icc_mctlr
Writes value to the icc_mctlr system register.
write_icc_mgrpen1
Writes value to the icc_mgrpen1 system register.
write_icc_msre
Writes value to the icc_msre system register.
write_icc_pmr
Writes value to the icc_pmr system register.
write_icc_pmr_el1
Writes value to the icc_pmr_el1 system register.
write_icc_sgi0r
Writes value to the icc_sgi0r system register.
write_icc_sgi0r_el1
Writes value to the icc_sgi0r_el1 system register.
write_icc_sgi1r
Writes value to the icc_sgi1r system register.
write_icc_sgi1r_el1
Writes value to the icc_sgi1r_el1 system register.
write_icc_sre
Writes value to the icc_sre system register.
write_icc_sre_el1
Writes value to the icc_sre_el1 system register.
write_icc_sre_el2
Writes value to the icc_sre_el2 system register.
write_icc_sre_el3
Writes value to the icc_sre_el3 system register.
write_ich_hcr_el2
Writes value to the ich_hcr_el2 system register.
write_ich_vmcr_el2
Writes value to the ich_vmcr_el2 system register.
write_ifar
Writes value to the ifar system register.
write_ifsr
Writes value to the ifsr system register.
write_jmcr
Writes value to the jmcr system register.
write_joscr
Writes value to the joscr system register.
write_mair0
Writes value to the mair0 system register.
write_mair1
Writes value to the mair1 system register.
write_mair_el1
Writes value to the mair_el1 system register.
write_mair_el2
Writes value to the mair_el2 system register.
write_mair_el3
Writes value to the mair_el3 system register.
write_mdccint_el1
Writes value to the mdccint_el1 system register.
write_mdcr_el2
Writes value to the mdcr_el2 system register.
write_mdcr_el3
Writes value to the mdcr_el3 system register.
write_mdscr_el1
Writes value to the mdscr_el1 system register.
write_mpam2_el2
Writes value to the mpam2_el2 system register.
write_mpam3_el3
Writes value to the mpam3_el3 system register.
write_mpamhcr_el2
Writes value to the mpamhcr_el2 system register.
write_mpamvpm0_el2
Writes value to the mpamvpm0_el2 system register.
write_mpamvpm1_el2
Writes value to the mpamvpm1_el2 system register.
write_mpamvpm2_el2
Writes value to the mpamvpm2_el2 system register.
write_mpamvpm3_el2
Writes value to the mpamvpm3_el2 system register.
write_mpamvpm4_el2
Writes value to the mpamvpm4_el2 system register.
write_mpamvpm5_el2
Writes value to the mpamvpm5_el2 system register.
write_mpamvpm6_el2
Writes value to the mpamvpm6_el2 system register.
write_mpamvpm7_el2
Writes value to the mpamvpm7_el2 system register.
write_mpamvpmv_el2
Writes value to the mpamvpmv_el2 system register.
write_mvbar
Writes value to the mvbar system register.
write_nmrr
Writes value to the nmrr system register.
write_nsacr
Writes value to the nsacr system register.
write_par
Writes value to the par system register.
write_par_el1
Writes value to the par_el1 system register.
write_pmccfiltr
Writes value to the pmccfiltr system register.
write_pmccntr
Writes value to the pmccntr system register.
write_pmcntenclr
Writes value to the pmcntenclr system register.
write_pmcntenset
Writes value to the pmcntenset system register.
write_pmcr
Writes value to the pmcr system register.
write_pmcr_el0
Writes value to the pmcr_el0 system register.
write_pmintenclr
Writes value to the pmintenclr system register.
write_pmintenset
Writes value to the pmintenset system register.
write_pmovsr
Writes value to the pmovsr system register.
write_pmovsset
Writes value to the pmovsset system register.
write_pmselr
Writes value to the pmselr system register.
write_pmswinc
Writes value to the pmswinc system register.
write_pmuserenr
Writes value to the pmuserenr system register.
write_pmxevtyper
Writes value to the pmxevtyper system register.
write_prrr
Writes value to the prrr system register.
write_rgsr_el1
Writes value to the rgsr_el1 system register.
write_rmr
Writes value to the rmr system register.
write_scr
Writes value to the scr system register.
write_scr_el3
Writes value to the scr_el3 system register.
write_sctlr
Writes value to the sctlr system register.
write_sctlr2_el3
Writes value to the sctlr2_el3 system register.
write_sctlr_el1
Writes value to the sctlr_el1 system register.
write_sctlr_el2
Writes value to the sctlr_el2 system register.
write_sctlr_el3
Writes value to the sctlr_el3 system register.
write_sdcr
Writes value to the sdcr system register.
write_sder
Writes value to the sder system register.
write_smcr_el3
Writes value to the smcr_el3 system register.
write_sp_el1
Writes value to the sp_el1 system register.
write_sp_el2
Writes value to the sp_el2 system register.
write_spsr_el1
Writes value to the spsr_el1 system register.
write_spsr_el2
Writes value to the spsr_el2 system register.
write_spsr_el3
Writes value to the spsr_el3 system register.
write_svcr
Writes value to the svcr system register.
write_tcr2_el1
Writes value to the tcr2_el1 system register.
write_tcr2_el2
Writes value to the tcr2_el2 system register.
write_tcr_el1
Writes value to the tcr_el1 system register.
write_tcr_el2
Writes value to the tcr_el2 system register.
write_tcr_el3
Writes value to the tcr_el3 system register.
write_tfsr_el1
Writes value to the tfsr_el1 system register.
write_tfsr_el2
Writes value to the tfsr_el2 system register.
write_tfsre0_el1
Writes value to the tfsre0_el1 system register.
write_tpidr_el0
Writes value to the tpidr_el0 system register.
write_tpidr_el1
Writes value to the tpidr_el1 system register.
write_tpidr_el2
Writes value to the tpidr_el2 system register.
write_tpidr_el3
Writes value to the tpidr_el3 system register.
write_tpidrprw
Writes value to the tpidrprw system register.
write_tpidrro_el0
Writes value to the tpidrro_el0 system register.
write_tpidruro
Writes value to the tpidruro system register.
write_tpidrurw
Writes value to the tpidrurw system register.
write_trfcr
Writes value to the trfcr system register.
write_ttbcr
Writes value to the ttbcr system register.
write_ttbcr2
Writes value to the ttbcr2 system register.
write_ttbr0
Writes value to the ttbr0 system register.
write_ttbr0_el1
Writes value to the ttbr0_el1 system register.
write_ttbr0_el2
Writes value to the ttbr0_el2 system register.
write_ttbr0_el3
Writes value to the ttbr0_el3 system register.
write_ttbr1
Writes value to the ttbr1 system register.
write_ttbr1_el1
Writes value to the ttbr1_el1 system register.
write_ttbr1_el2
Writes value to the ttbr1_el2 system register.
write_vbar
Writes value to the vbar system register.
write_vbar_el1
Writes value to the vbar_el1 system register.
write_vbar_el2
Writes value to the vbar_el2 system register.
write_vdfsr
Writes value to the vdfsr system register.
write_vdisr
Writes value to the vdisr system register.
write_vdisr_el2
Writes value to the vdisr_el2 system register.
write_vmpidr
Writes value to the vmpidr system register.
write_vmpidr_el2
Writes value to the vmpidr_el2 system register.
write_vpidr
Writes value to the vpidr system register.
write_vpidr_el2
Writes value to the vpidr_el2 system register.
write_vsesr_el2
Writes value to the vsesr_el2 system register.
write_vtcr
Writes value to the vtcr system register.
write_vtcr_el2
Writes value to the vtcr_el2 system register.
write_vttbr
Writes value to the vttbr system register.
write_vttbr_el2
Writes value to the vttbr_el2 system register.
write_zcr_el3
Writes value to the zcr_el3 system register.