Searched defs:gp (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ | ||
H A D | types.h | 44 seL4_Word gp; member in struct:seL4_UserContext_ |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ | ||
H A D | ffi.c | 420 UINT64 gp; member in struct:ia64_fd |
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ | ||
H A D | registerset.h | 36 gp = 2, enumerator in enum:_register |
/seL4-l4v-10.1.1/HOL4/src/coretypes/ | ||
H A D | PairRules.sml | 83 and gp = genvar gpty value 2136 val gp = genvar gpty value |
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ | ||
H A D | lzPairRules.sml | 91 and gp = genvar gpty value 2157 val gp = genvar gpty value |
Completed in 114 milliseconds