Searched defs:gp (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ | ||
H A D | types.h | 32 seL4_Word gp; member in struct:seL4_UserContext_ |
/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ | ||
H A D | registerset.h | 23 gp = 2, GP = 2, enumerator in enum:_register |
/seL4-l4v-master/HOL4/src/coretypes/ | ||
H A D | PairRules.sml | 83 and gp = genvar gpty value 2138 val gp = genvar gpty value |
/seL4-l4v-master/HOL4/examples/HolCheck/ | ||
H A D | lzPairRules.sml | 91 and gp = genvar gpty value 2157 val gp = genvar gpty value |
Completed in 75 milliseconds