Searched refs:n_immContextRegisters (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/ | ||
| H A D | registerset.h | 54 /* 0x3C */ n_immContextRegisters = 15, enumerator in enum:_register |
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ | ||
| H A D | registerset.h | 65 n_immContextRegisters = 22, /* 0xb0 */ enumerator in enum:_register |
Completed in 89 milliseconds