Searched refs:a5 (Results 1 - 25 of 35) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/src/arch/riscv/machine/
H A Dregisterset.c22 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 Dcls_longdouble.c21 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 Dregisterset.h52 a5 = 14, enumerator in enum:_register
132 [seL4_UnknownSyscall_A5] = a5,\
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/
H A Dsysv.S51 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 Dtypes.h56 seL4_Word a5; member in struct:seL4_UserContext_
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_decoderScript.sml662 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 Darm_decoderScript.sml662 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 Dmips_stepScript.sml271 `!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 Dffitarget.h132 #define a5 $9 macro
H A Dn32.S39 #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 DideaScript.sml55 `?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 Dword8Script.sml187 `BYTE_COMPARE (a7,a6,a5,a4,a3,a2,a1,a0)
193 (case BIT_COMPARE a5 b5
H A DaesScript.sml33 `?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 DRoundOpScript.sml74 `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 Dtraps.S53 STORE a5, (14*REGBYTES)(t0)
/seL4-l4v-10.1.1/HOL4/examples/dev/AES/curried/
H A DaesScript.sml32 `?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 Dword8Script.sml211 `BYTE_COMPARE (BYTE a7 a6 a5 a4 a3 a2 a1 a0)
217 (case BIT_COMPARE a5 b5
H A DRoundOpScript.sml74 `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 DaesScript.sml33 `?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 DRoundOpScript.sml75 `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 DaesScript.sml33 `?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 DRoundOpScript.sml75 `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 Dtaut.sml4348 ~(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 Darm_cheney_allocScript.sml366 \\ `?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 DcoprocessorScript.sml491 ((a1 /\ a2 /\ a3 /\ a4 /\ a5 /\ a6 /\ a7 /\
493 (a1 /\ a2 /\ a3 /\ a4 /\ a5 /\ a6 /\ a7 /\

Completed in 308 milliseconds

12