#[repr(u64)]pub enum VCpuReg {
Show 22 variants
SCTLR = 0,
TTBR0 = 1,
TTBR1 = 2,
TCR = 3,
MAIR = 4,
AMAIR = 5,
CIDR = 6,
ACTLR = 7,
CPACR = 8,
AFSR0 = 9,
AFSR1 = 10,
ESR = 11,
FAR = 12,
ISR = 13,
VBAR = 14,
TPIDR_EL1 = 15,
SP_EL1 = 17,
ELR_EL1 = 18,
SPSR_EL1 = 19,
CNTV_CTL = 20,
CNTV_CVAL = 21,
CNTVOFF = 22,
}
Expand description
Corresponds to seL4_VCPUReg
.