Searched refs:s6 (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-master/seL4/src/arch/riscv/machine/ |
H A D | registerset.c | 21 s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11,
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 52 s6 = 21, enumerator in enum:_register 163 [seL4_TimeoutReply_s6] = s6, \
|
/seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 40 seL4_Word s6; member in struct:seL4_UserContext_
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | SHA1_ML.sml | 21 val s6 = Word64.>>(Word64.<<(size, 0w48), 0w56) value 35 , Word8.fromLarge (Word64.toLarge s6) 42 val (s0, s1, s2, s3, s4, s5, s6, s7) = 54 else if i = 62 then s6 74 val (s0, s1, s2, s3, s4, s5, s6, s7) = 85 else if i = 62 then s6
|
/seL4-l4v-master/seL4/src/arch/riscv/ |
H A D | traps.S | 58 STORE s6, (21*REGBYTES)(t0)
|
/seL4-l4v-master/HOL4/examples/bootstrap/ |
H A D | codegen_proofsScript.sml | 758 \\ rename [���_ = (taken,s6)���] 759 \\ ���s6 = s5��� by
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/model/ |
H A D | mips.sml | 11476 | BitsN.B(0x16,_) => "s6"
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/ |
H A D | riscv.sml | 3348 then "s6"
|
H A D | riscvScript.sml | 3319 (EQ(Var("r",FTy 5),LW(22,5)),LS"s6"), [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/ |
H A D | cheriScript.sml | 3825 (LW(21,5),LS"s5"),(LW(22,5),LS"s6"),(LW(23,5),LS"s7"), [all...] |
Completed in 214 milliseconds