/seL4-l4v-10.1.1/seL4/src/arch/riscv/machine/ |
H A D | registerset.c | 22 a2, a3, a4, a5 26 SEPC, ra, sp, gp, tp, t0, t1, t2, s0, s1, a0, a1, a2, a3, a4, a5, a6
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | cls_longdouble.c | 21 long double a5, 26 long double r = a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8; 29 a1, a2, a3, a4, a5, a6, a7, a8, r); 42 long double a5 = *(long double*)args[4]; local 48 a1, a2, a3, a4, a5, a6, a7, a8); 16 cls_ldouble_fn( long double a1, long double a2, long double a3, long double a4, long double a5, long double a6, long double a7, long double a8) argument
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 52 a5 = 14, enumerator in enum:_register 132 [seL4_UnknownSyscall_A5] = a5,\
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
H A D | sysv.S | 51 void (*fnaddr)(); a5 92 callx8 a5 # (*fn)(args...) 98 movi a5, FFI_TYPE_STRUCT 99 bne a4, a5, .Lstore 100 movi a5, 16 101 blt a5, a3, .Lexit 217 s32i a5, a11, 12 229 l32i a5, a1, 12
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 56 seL4_Word a5; member in struct:seL4_UserContext_
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | arm_decoderScript.sml | 662 of (a8,a7, F,a5, F, b7,b6,b5,b4) => 664 LoadStore (Store_Return_State (~a8) a8 a5 ((4 >< 0) ireg2)) 666 LoadStore (Store_Multiple a8 a7 F a5 (ra 0) ireg2)) 667 | (a8,a7, F,a5, T, b7,b6,b5,b4) => 672 LoadStore (Return_From_Exception (~a8) a8 a5 (ra 0)) 677 LoadStore (Load_Multiple a8 a7 F a5 (ra 0) ireg2)) 702 | ( T,a7, T,a5, F, b7,b6,b5,b4) => 703 LoadStore (Store_Dual T a7 a5 (ra 0) (rb 12) (rb 8) 708 | ( T,a7, T,a5, T, b7,b6,b5,b4) => 709 LoadStore (Load_Dual T a7 a5 (r [all...] |
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/ |
H A D | arm_decoderScript.sml | 662 of (a8,a7, F,a5, F, b7,b6,b5,b4) => 664 LoadStore (Store_Return_State (~a8) a8 a5 ((4 >< 0) ireg2)) 666 LoadStore (Store_Multiple a8 a7 F a5 (ra 0) ireg2)) 667 | (a8,a7, F,a5, T, b7,b6,b5,b4) => 672 LoadStore (Return_From_Exception (~a8) a8 a5 (ra 0)) 677 LoadStore (Load_Multiple a8 a7 F a5 (ra 0) ireg2)) 702 | ( T,a7, T,a5, F, b7,b6,b5,b4) => 703 LoadStore (Store_Dual T a7 a5 (ra 0) (rb 12) (rb 8) 708 | ( T,a7, T,a5, T, b7,b6,b5,b4) => 709 LoadStore (Load_Dual T a7 a5 (r [all...] |
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/ |
H A D | mips_stepScript.sml | 271 `!a0: word8 a1: word8 a2: word8 a3: word8 a4: word8 a5: word8 a6: word8 273 let w = a7 @@ a6 @@ a5 @@ a4 @@ a3 @@ a2 @@ a1 @@ a0 280 ((47 >< 0) w = (a5 @@ a4 @@ a3 @@ a2 @@ a1 @@ a0) : word48) /\ 281 ((55 >< 0) w = (a6 @@ a5 @@ a4 @@ a3 @@ a2 @@ a1 @@ a0) : 56 word) /\ 284 ((47 >< 32) w = (a5 @@ a4) : word16) /\ 285 ((55 >< 32) w = (a6 @@ a5 @@ a4) : word24) /\ 286 ((63 >< 32) w = (a7 @@ a6 @@ a5 @@ a4) : word32) /\ 290 ((63 >< 8) w = (a7 @@ a6 @@ a5 @@ a4 @@ a3 @@ a2 @@ a1) : 56 word) /\ 291 ((63 >< 16) w = (a7 @@ a6 @@ a5 @@ a4 @@ a3 @@ a2) : word48) /\ 292 ((63 >< 24) w = (a7 @@ a6 @@ a5 [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
H A D | ffitarget.h | 132 #define a5 $9 macro
|
H A D | n32.S | 39 #define fn a5 166 REG_L a5, 5*FFI_SIZEOF_ARG(t9) 362 17 - Called function a5 save 428 REG_S a5, A5_OFF2($sp)
|
/seL4-l4v-10.1.1/HOL4/examples/Crypto/IDEA/ |
H A D | ideaScript.sml | 55 `?a1 a2 a3 a4 a5 a6 a7 a8 a9. 56 x = (a1,a2,a3,a4,a5,a6,a7,a8,a9)` 64 `?a1 a2 a3 a4 a5 a6 a7 a8. 65 x = (a1,a2,a3,a4,a5,a6,a7,a8)`
|
/seL4-l4v-10.1.1/HOL4/examples/dev/AES/tupled/ |
H A D | word8Script.sml | 187 `BYTE_COMPARE (a7,a6,a5,a4,a3,a2,a1,a0) 193 (case BIT_COMPARE a5 b5
|
H A D | aesScript.sml | 33 `?a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11. 34 x = (a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11)`
|
H A D | RoundOpScript.sml | 74 `XOR_BLOCK ((a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15):block) 78 a4 # b4, a5 # b5, a6 # b6, a7 # b7,
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/ |
H A D | traps.S | 53 STORE a5, (14*REGBYTES)(t0)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/AES/curried/ |
H A D | aesScript.sml | 32 `?a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11. 33 x = (a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11)`
|
H A D | word8Script.sml | 211 `BYTE_COMPARE (BYTE a7 a6 a5 a4 a3 a2 a1 a0) 217 (case BIT_COMPARE a5 b5
|
H A D | RoundOpScript.sml | 74 `XOR_BLOCK ((a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15):block) 78 a4 # b4, a5 # b5, a6 # b6, a7 # b7,
|
/seL4-l4v-10.1.1/HOL4/examples/dev/AES/word8/ |
H A D | aesScript.sml | 33 `?a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11. 34 x = (a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11)`
|
H A D | RoundOpScript.sml | 75 `XOR_BLOCK ((a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15):block) 79 a4 ?? b4, a5 ?? b5, a6 ?? b6, a7 ?? b7,
|
/seL4-l4v-10.1.1/HOL4/examples/Crypto/AES/ |
H A D | aesScript.sml | 33 `?a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11. 34 x = (a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11)`
|
H A D | RoundOpScript.sml | 75 `XOR_BLOCK ((a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15):block) 79 a4 ?? b4, a5 ?? b5, a6 ?? b6, a7 ?? b7,
|
/seL4-l4v-10.1.1/HOL4/examples/ |
H A D | taut.sml | 4348 ~(a1 /\ a2 \/ ~a3 /\ (a4 = a5) = a6 /\ b6) \/ 4352 ~a3 /\ ~a4 /\ ~a5 /\ ~a6 \/ 4353 ~a3 /\ a4 /\ a5 /\ ~a6 \/ 4359 ~a3 /\ ~a4 /\ ~a5 /\ ~b6 \/ 4360 ~a3 /\ a4 /\ a5 /\ ~b6 \/ 4367 ~a1 /\ a4 /\ ~a5 /\ a6 /\ b6 \/ 4368 ~a2 /\ a4 /\ ~a5 /\ a6 /\ b6 \/ 4369 ~a1 /\ ~a4 /\ a5 /\ a6 /\ b6 \/ 4370 ~a2 /\ ~a4 /\ a5 /\ a6 /\ b6 \/ 4379 ~a3 /\ ~a4 /\ ~a5 /\ ~a [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/garbage-collectors/ |
H A D | arm_cheney_allocScript.sml | 366 \\ `?a1 a2 a3 a4 a5 a6. cheney_alloc (q,q',q'',q''',q'''',r) 0w = (a1,a2,a3,a4,a5,a6)` by METIS_TAC [PAIR]
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/correctness/ |
H A D | coprocessorScript.sml | 491 ((a1 /\ a2 /\ a3 /\ a4 /\ a5 /\ a6 /\ a7 /\ 493 (a1 /\ a2 /\ a3 /\ a4 /\ a5 /\ a6 /\ a7 /\
|