Searched refs:src (Results 26 - 50 of 328) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
36 milner.o: ../../src/bdd.h
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
36 queen.o: ../../src/bdd.h
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
36 milner.o: ../../src/bdd.h
H A Dsolitare.cxx91 // there's a move from 'src' to 'dst' over 'tmp'
92 bdd all_other_idle(int src, int tmp, int dst) argument
98 if (n != src && n != tmp && n != dst)
106 // Encode one move from 'src' to 'dst' over 'tmp'
107 bdd make_move(int src, int tmp, int dst) argument
109 bdd move = boardC[src] & boardC[tmp] & !boardC[dst] &
110 !boardN[src] & !boardN[tmp] & boardN[dst];
112 move &= all_other_idle(src, tmp, dst);
/seL4-l4v-master/HOL4/developers/docfiles/
H A Dgen-implemented.sh5 # corresponding structure str (or fun) exists somewhere in src/
14 for path in `find $holdir/src -name "*.sig" \! -name "*Theory.sig"`
/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dsyscalls_master.h37 * @param[in] src The capability to be invoked.
51 seL4_Recv(seL4_CPtr src, seL4_Word *sender);
134 * @param[in] src The capability to be invoked.
148 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender);
189 * @param[in] src The capability to be invoked.
198 seL4_Wait(seL4_CPtr src, seL4_Word *sender);
212 * @param[in] src The capability to be invoked.
226 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/
H A Dfpu.h78 static inline void loadFpuState(user_fpu_state_t *src) argument
81 asm volatile("fxrstor %[src]" :: [src] "m"(*src));
84 asm volatile("xrstors %[src]" :: [src] "m"(*src), "d"(xsave_features_high()), "a"(xsave_features_low()));
86 asm volatile("xrstor %[src]" :: [src] "m"(*src), "
[all...]
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/mosml/
H A Dheader.sml4 concat [Globals.HOLDIR, "/examples/separationLogic/src"] ::
5 concat [Globals.HOLDIR, "/examples/separationLogic/src/holfoot"] ::
19 "/examples/separationLogic/src/holfoot/EXAMPLES"];
/seL4-l4v-master/HOL4/examples/pgcl/examples/
H A DMakefile20 verification-log: verification.sml ../src/pgclLib.uo
24 $(HOLMAKE) -I ../src --qof simpledcTheory.uo
/seL4-l4v-master/HOL4/polyml/basis/
H A DIEEEReal.sml95 fun 'a scan (getc: (char, 'a) StringCvt.reader) (src: 'a) : (decimal_approx *'a) option =
97 fun checkString (src, match: substring) =
101 NONE => (* Finished *) SOME src (* Return rest *)
103 (case getc src of
105 | SOME (ch', src') =>
107 then checkString(src', rest)
112 fun getdigits inp src =
113 case getc src of
114 NONE => (List.rev inp, src)
115 | SOME(ch, src')
[all...]
H A DTime.sml107 fun scan getc src =
110 fun getdigits inp src =
111 case getc src of
112 NONE => (List.rev inp, src)
113 | SOME(ch, src') =>
115 then getdigits ((Char.ord ch - Char.ord #"0") :: inp) src'
116 else (List.rev inp, src)
118 fun read_number sign src =
119 case getc src of
127 val (intPart, src'')
[all...]
H A DLargeWord.sml40 fun scanWord radix getc src =
55 fun read_digits src acc isOk =
56 case getc src of
57 NONE => if isOk then SOME(acc, src) else NONE
58 | SOME(ch, src') =>
61 then read_digits src'
64 if isOk then SOME(acc, src) else NONE
66 fun read_hex_digits src acc isOk =
67 case getc src of
68 NONE => if isOk then SOME(acc, src) els
[all...]
H A DINetSock.sml46 fun scan getc src =
51 fun readNum base acc limit src =
53 fun addDigit d src =
60 then readNum base (SOME(next, src)) limit src
64 case getc src of
66 | SOME(ch, src') =>
69 then addDigit (Char.ord ch - Char.ord #"0") src'
71 then addDigit (Char.ord ch - Char.ord #"A" + 10) src'
73 then addDigit (Char.ord ch - Char.ord #"a" + 10) src'
[all...]
/seL4-l4v-master/HOL4/examples/pgcl/
H A DMakefile11 cd src && $(MAKE)
20 cd src && $(MAKE) clean
/seL4-l4v-master/HOL4/polyml/
H A Dinstall-sh79 src=
246 for src
249 case $src in
250 -* | [=\(\)!]) src=./$src;;
254 dst=$src
260 # Waiting for this to be detected by the "$cpprog $src $dsttmp" command
262 # if $src (and thus $dsttmp) contains '*'.
263 if test ! -f "$src" && test ! -d "$src"; the
[all...]
/seL4-l4v-master/HOL4/src/TeX/
H A Dmkmkmunge.sml19 "-I", HOLDIR ++ "src" ++ "TeX"] @
22 [HOLDIR ++ "src" ++ "TeX" ++ "mosmlmunge.uo"])
/seL4-l4v-master/l4v/tools/c-parser/tools/mlyacc/
H A DMakefile17 $(MLYACC_PFX)/src/yacc.lex.sml: $(MLYACC_PFX)/src/yacc.lex $(MLLEX)
51 MLY_SRCDEPS = $(patsubst %,src/%,$(MLY_SRCDEPS1))
76 -/bin/rm -f $(MLYACC_PFX)/mlyacc.o $(MLYACC_PFX)/mlyacc $(MLYACC_PFX)/src/yacc.lex.sml
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/
H A Dmakefile13 cd src; make
19 cp -f src/libbdd.a $(LIBDIR)/libbdd.a
21 cp -f src/bdd.h $(INCDIR)/bdd.h
23 cp -f src/fdd.h $(INCDIR)/fdd.h
25 cp -f src/bvec.h $(INCDIR)/bvec.h
51 cd src; make clean
74 cd src; make depend
76 mkdir $(RD)/src
80 ./copysource $(RD)/src
81 cp src/depen
[all...]
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h179 static inline void loadFpuState(user_fpu_state_t *src) argument
185 register word_t regs_d16_d31 asm("r2") = (word_t) &src->fpregs[16];
193 register word_t regs_d0_d15 asm("r0") = (word_t) &src->fpregs[0];
201 VMSR(FPSCR, src->fpscr);
204 VMSR(FPEXC, src->fpexc);
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DpreARMScript.sml252 decode_op (pc,cpsr,s) (op,dst,src,jump) =
254 MOV => (cpsr, write s (THE dst) (read s (HD src)))
263 (cpsr, FST (FOLDL (\(s1,i) reg. (write s1 reg (read s (MEM(r,POS(i+1)))), i+1)) (s,0) src))
266 (cpsr, write (FST (FOLDL (\(s1,i) reg. (write s1 reg (read s (MEM(r,POS(i+1)))), i+1)) (s,0) src))
267 (REG r) (read s (REG r) + n2w (4*LENGTH src)))
278 FST (FOLDL (\(s1,i) reg. (write s1 (MEM(r,NEG i)) (read s reg), i+1)) (s,0) (REVERSE src))) |
281 write (FST (FOLDL (\(s1,i) reg. (write s1 (MEM(r,NEG i)) (read s reg), i+1)) (s,0) (REVERSE src)))
282 (REG r) (read s (REG r) - n2w (4*LENGTH src)))
285 ADD => (cpsr, (write s (THE dst) (read s (HD src) + read s (HD (TL (src))))))
[all...]
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DpreARMScript.sml248 decode_op (pc,cpsr,s) (op,dst,src,jump) =
250 MOV -> (cpsr, write s (THE dst) (read s (HD src)))
259 (cpsr, FST (FOLDL (\(s1,i) reg. (write s1 reg (read s (MEM(r,POS(i+1)))), i+1)) (s,0) src))
262 (cpsr, write (FST (FOLDL (\(s1,i) reg. (write s1 reg (read s (MEM(r,POS(i+1)))), i+1)) (s,0) src))
263 (REG r) (read s (REG r) + n2w (4*LENGTH src)))
274 FST (FOLDL (\(s1,i) reg. (write s1 (MEM(r,NEG i)) (read s reg), i+1)) (s,0) (REVERSE src))) ||
277 write (FST (FOLDL (\(s1,i) reg. (write s1 (MEM(r,NEG i)) (read s reg), i+1)) (s,0) (REVERSE src)))
278 (REG r) (read s (REG r) - n2w (4*LENGTH src)))
281 ADD -> (cpsr, (write s (THE dst) (read s (HD src) + read s (HD (TL (src))))))
[all...]
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DpreARMScript.sml240 decode_op (pc,cpsr,s) (op,dst,src,jump) =
242 MOV -> (cpsr, write s (THE dst) (read s (HD src)))
251 (cpsr, FST (FOLDL (\(s1,i) reg. (write s1 reg (read s (MEM(r,POS(i+1)))), i+1)) (s,0) src))
254 (cpsr, write (FST (FOLDL (\(s1,i) reg. (write s1 reg (read s (MEM(r,POS(i+1)))), i+1)) (s,0) src))
255 (REG r) (read s (REG r) + n2w (LENGTH src)))
266 FST (FOLDL (\(s1,i) reg. (write s1 (MEM(r,NEG i)) (read s reg), i+1)) (s,0) (REVERSE src))) ||
269 write (FST (FOLDL (\(s1,i) reg. (write s1 (MEM(r,NEG i)) (read s reg), i+1)) (s,0) (REVERSE src)))
270 (REG r) (read s (REG r) - n2w (LENGTH src)))
273 ADD -> (cpsr, (write s (THE dst) (read s (HD src) + read s (HD (TL (src))))))
[all...]
/seL4-l4v-master/HOL4/src/HolSat/
H A DdimacsTools.sml306 fun dropLine get src =
307 StringCvt.dropl isNewline get (StringCvt.dropl (not o isNewline) get src);
309 fun skip_p get src i =
310 if i=5 then SOME src
311 else case get src of
312 SOME (c,src') => skip_p get src' (i+1)
317 fun stripPreamble get src =
318 case get src of
319 SOME(c, src')
[all...]
/seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h70 static inline void riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
72 register seL4_Word destptr asm("a0") = src;
84 static inline void riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word argument
87 register seL4_Word src_and_badge asm("a0") = src;
158 static inline void riscv_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
163 register seL4_Word src_and_badge asm("a0") = src;
257 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
259 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender)
269 riscv_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
285 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Wor argument
323 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
371 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
377 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
428 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
466 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
521 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
555 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
605 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument
638 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
695 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
718 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
751 seL4_NBWait(seL4_CPtr src, seL4_Word *sender) argument
[all...]
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dsyscalls.h102 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
104 register seL4_Word destptr asm("x0") = src;
116 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument
119 register seL4_Word src_and_badge asm("x0") = src;
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
183 register seL4_Word src_and_badge asm("x0") = src;

Completed in 129 milliseconds

1234567891011>>