Searched refs:n_contextRegisters (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/
H A Dstack.h45 register_context_top = (word_t)&target_thread->tcbArch.tcbContext.registers[n_contextRegisters];
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/
H A Dregisterset.h80 n_contextRegisters enumerator in enum:_register
98 word_t registers[n_contextRegisters];
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h103 n_contextRegisters = 20, enumerator in enum:_register
105 n_contextRegisters = 19,
187 word_t registers[n_contextRegisters];
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/
H A Dregisterset.h58 /* 0x4C */ n_contextRegisters = 19 enumerator in enum:_register
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dregisterset.h70 word_t registers[n_contextRegisters];
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h147 n_contextRegisters = 36, enumerator in enum:_register
208 word_t registers[n_contextRegisters];
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h68 n_contextRegisters = 23 /* 0xb8 */ enumerator in enum:_register

Completed in 78 milliseconds