capRegister (definition) in projects: seL4-master

Searched defs:capRegister (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/x86/arch/32/mode/machine/
A D	registerset.h	`28 capRegister = EBX, enumerator`
/seL4-master/include/arch/x86/arch/64/mode/machine/
A D	registerset.h	`29 capRegister = 0, enumerator`
/seL4-master/include/arch/riscv/arch/machine/
A D	registerset.h	`37 a0 = 9, capRegister = 9, badgeRegister = 9, enumerator`
/seL4-master/include/arch/arm/arch/32/mode/machine/
A D	registerset.h	`60 capRegister = 0, enumerator`
/seL4-master/include/arch/arm/arch/64/mode/machine/
A D	registerset.h	`90 capRegister = 0, enumerator`

Completed in 8 milliseconds