Constants§
- _enum_
pad_ seL4_ VCPU Reg - seL4_
VCPU Reg_ ACTLR - seL4_
VCPU Reg_ ADFSR - seL4_
VCPU Reg_ AIFSR - seL4_
VCPU Reg_ CIDR - seL4_
VCPU Reg_ CNTVOF Fhigh - seL4_
VCPU Reg_ CNTVOF Flow - seL4_
VCPU Reg_ CNTV_ CTL - seL4_
VCPU Reg_ CNTV_ CVALhigh - seL4_
VCPU Reg_ CNTV_ CVALlow - seL4_
VCPU Reg_ DACR - seL4_
VCPU Reg_ DFAR - seL4_
VCPU Reg_ DFSR - seL4_
VCPU Reg_ FPEXC - seL4_
VCPU Reg_ IFAR - seL4_
VCPU Reg_ IFSR - seL4_
VCPU Reg_ LRabt - seL4_
VCPU Reg_ LRfiq - seL4_
VCPU Reg_ LRirq - seL4_
VCPU Reg_ LRsvc - seL4_
VCPU Reg_ LRund - seL4_
VCPU Reg_ NMRR - seL4_
VCPU Reg_ Num - seL4_
VCPU Reg_ PRRR - seL4_
VCPU Reg_ R8fiq - seL4_
VCPU Reg_ R9fiq - seL4_
VCPU Reg_ R10fiq - seL4_
VCPU Reg_ R11fiq - seL4_
VCPU Reg_ R12fiq - seL4_
VCPU Reg_ SCTLR - seL4_
VCPU Reg_ SPSRabt - seL4_
VCPU Reg_ SPSRfiq - seL4_
VCPU Reg_ SPSRirq - seL4_
VCPU Reg_ SPSRsvc - seL4_
VCPU Reg_ SPSRund - seL4_
VCPU Reg_ SPabt - seL4_
VCPU Reg_ SPfiq - seL4_
VCPU Reg_ SPirq - seL4_
VCPU Reg_ SPsvc - seL4_
VCPU Reg_ SPund - seL4_
VCPU Reg_ TPIDRPRW - seL4_
VCPU Reg_ TTBCR - seL4_
VCPU Reg_ TTBR0 - seL4_
VCPU Reg_ TTBR1 - seL4_
VCPU Reg_ VMPIDR