Module sel4_sys::seL4_VCPUReg

Constants

• _enum_pad_seL4_VCPUReg
• seL4_VCPUReg_ACTLR
• seL4_VCPUReg_AFSR0
• seL4_VCPUReg_AFSR1
• seL4_VCPUReg_AMAIR
• seL4_VCPUReg_CIDR
• seL4_VCPUReg_CNTKCTL_EL1
• seL4_VCPUReg_CNTVOFF
• seL4_VCPUReg_CNTV_CTL
• seL4_VCPUReg_CNTV_CVAL
• seL4_VCPUReg_CPACR
• seL4_VCPUReg_ELR_EL1
• seL4_VCPUReg_ESR
• seL4_VCPUReg_FAR
• seL4_VCPUReg_ISR
• seL4_VCPUReg_MAIR
• seL4_VCPUReg_Num
• seL4_VCPUReg_SCTLR
• seL4_VCPUReg_SPSR_EL1
• seL4_VCPUReg_SP_EL1
• seL4_VCPUReg_TCR
• seL4_VCPUReg_TPIDR_EL1
• seL4_VCPUReg_TTBR0
• seL4_VCPUReg_TTBR1
• seL4_VCPUReg_VBAR
• seL4_VCPUReg_VMPIDR_EL2

Type Aliases

• Type