Searched defs:s9 (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ | ||
H A D | types.h | 43 seL4_Word s9; member in struct:seL4_UserContext_ |
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/ | ||
H A D | registerset.h | 55 s9 = 24, enumerator in enum:_register |
Completed in 40 milliseconds