Searched refs:io (Results 1 - 25 of 234) sorted by relevance

12345678910

/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dio.c8 #include <machine/io.h>
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bytecode/
H A Dlisp_alt_semanticsScript.sml22 RR_ev (Const s, a,fns,io,ok) (s,fns,io,ok))
26 RR_ev (Var x,a,fns,io,ok) (a ' x,fns,io,ok))
28 (!a fns io s fns1 io1.
29 RR_ev (Const (Sym "NIL"),a,fns,io,ok) (s,fns1,io1,ok1) ==>
30 RR_ev (Or [],a,fns,io,ok) (s,fns1,io1,ok1))
32 (!a fns io s1 fns1 io1 t ts.
33 RR_ev (t,a,fns,io,ok) (s1,fns1,io1,ok1) /\ isTrue s1 ==>
34 RR_ev (Or (t::ts),a,fns,io,o
[all...]
/seL4-l4v-master/seL4/include/plat/default/plat/machine/
H A Dhardware.h12 #include <machine/io.h>
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/spec/
H A Dlisp_semanticsScript.sml169 (!s a fns io ok.
170 R_ev (Const s, a,fns,io,ok) (s,fns,io,ok))
172 (!x (a: string |-> SExp) fns io ok.
174 R_ev (Var x,a,fns,io,ok) (a ' x,fns,io,ok))
176 (!a fns io ok s fns1 io1 ok1.
177 R_ev (Const (Sym "NIL"),a,fns,io,ok) (s,fns1,io1,ok1) ==>
178 R_ev (Or [],a,fns,io,ok) (s,fns1,io1,ok1))
180 (!a fns io s
[all...]
/seL4-l4v-master/seL4/src/
H A Dassert.c8 #include <machine/io.h>
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/
H A Dlisp_extractScript.sml44 ``!x. x IN FDOM e ==> R_ev (Var x,e,fns,io,ok) (e ' x,fns,io,ok)``,
48 ``!x. T ==> R_ev (Const x,e,fns,io,ok) (x,fns,io,ok)``,
54 (bx ==> R_ev (x,e,fns,io,ok) (ans1,fns1,io1,ok1)) ==>
56 R_ev (If x y z,e,fns,io,ok)
67 (bx ==> R_ev (x,e,fns,io,ok) (ans1,fns1,io1,ok1)) ==>
69 R_ev (If x y z,e,fns,io,ok)
78 (bx ==> R_ev (x,e,fns,io,ok) (ans1,fns1,io1,ok1)) ==>
80 R_ev (Or (x::y::xs),e,fns,io,o
[all...]
/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dio.c10 #include <machine/io.h>
11 #include <plat/machine/io.h>
H A Dpit.c8 #include <machine/io.h>
/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dcapdl.c11 #include <machine/io.h>
/seL4-l4v-master/isabelle/src/Tools/jEdit/src-base/
H A Disabelle_encoding.scala12 import org.gjt.sp.jedit.io.Encoding
15 import java.io.{InputStream, OutputStream, Reader, Writer, InputStreamReader, OutputStreamWriter,
18 import scala.io.{Codec, BufferedSource}
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src-base/
H A Disabelle_encoding.scala12 import org.gjt.sp.jedit.io.Encoding
15 import java.io.{InputStream, OutputStream, Reader, Writer, InputStreamReader, OutputStreamWriter,
18 import scala.io.{Codec, BufferedSource}
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_bigopsScript.sml32 lisp_sexp2string_aux_extra (x0,x2,xs:SExp list,io) =
33 if x2 = Sym "NIL" then (x0,x2,xs,io) else
36 let io = IO_WRITE io "(" in
37 (x0,x2,xs,io)``
40 lisp_sexp2string_aux_inner (x0,x1,x2,x3:SExp,x4:SExp,x5:SExp,xs:SExp list,io) =
42 let (x0,x1,x2,x3,io) = (Sym "NIL",Sym "NIL",Sym "NIL",Sym "NIL", IO_WRITE io (num2str (getVal x0))) in
43 (x0,x1,x2,x3,x4,x5,xs,io)
45 let (x0,x1,x2,x3,io)
[all...]
/seL4-l4v-master/seL4/src/drivers/serial/
H A Dmsm-uartdm.c10 #include <machine/io.h>
H A Dpl011.c10 #include <machine/io.h>
H A Dtegra_omap3_dwapb.c10 #include <machine/io.h>
H A Dmeson-gx-uart.c10 #include <machine/io.h>
H A Dbcm2835-aux-uart.c10 #include <machine/io.h>
H A Dexynos4210-uart.c10 #include <machine/io.h>
H A Dxuartps.c10 #include <machine/io.h>
H A Dimx.c10 #include <machine/io.h>
/seL4-l4v-master/seL4/src/drivers/timer/
H A Dallwinner-timer.c9 #include <machine/io.h>
/seL4-l4v-master/seL4/src/plat/omap3/machine/
H A Dhardware.c9 #include <machine/io.h>
/seL4-l4v-master/isabelle/src/Pure/System/
H A Dsystem_channel.scala10 import java.io.{InputStream, OutputStream}
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Dsystem_channel.scala10 import java.io.{InputStream, OutputStream}
/seL4-l4v-master/seL4/include/benchmark/
H A Dbenchmark_track.h13 #include <machine/io.h>

Completed in 209 milliseconds

12345678910