/seL4-l4v-master/seL4/src/arch/riscv/machine/ |
H A D | io.c | 8 #include <machine/io.h>
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bytecode/ |
H A D | lisp_alt_semanticsScript.sml | 22 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 D | hardware.h | 12 #include <machine/io.h>
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/spec/ |
H A D | lisp_semanticsScript.sml | 169 (!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 D | assert.c | 8 #include <machine/io.h>
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
H A D | lisp_extractScript.sml | 44 ``!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 D | io.c | 10 #include <machine/io.h> 11 #include <plat/machine/io.h>
|
H A D | pit.c | 8 #include <machine/io.h>
|
/seL4-l4v-master/seL4/src/arch/x86/machine/ |
H A D | capdl.c | 11 #include <machine/io.h>
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src-base/ |
H A D | isabelle_encoding.scala | 12 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 D | isabelle_encoding.scala | 12 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 D | lisp_bigopsScript.sml | 32 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 D | msm-uartdm.c | 10 #include <machine/io.h>
|
H A D | pl011.c | 10 #include <machine/io.h>
|
H A D | tegra_omap3_dwapb.c | 10 #include <machine/io.h>
|
H A D | meson-gx-uart.c | 10 #include <machine/io.h>
|
H A D | bcm2835-aux-uart.c | 10 #include <machine/io.h>
|
H A D | exynos4210-uart.c | 10 #include <machine/io.h>
|
H A D | xuartps.c | 10 #include <machine/io.h>
|
H A D | imx.c | 10 #include <machine/io.h>
|
/seL4-l4v-master/seL4/src/drivers/timer/ |
H A D | allwinner-timer.c | 9 #include <machine/io.h>
|
/seL4-l4v-master/seL4/src/plat/omap3/machine/ |
H A D | hardware.c | 9 #include <machine/io.h>
|
/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | system_channel.scala | 10 import java.io.{InputStream, OutputStream}
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | system_channel.scala | 10 import java.io.{InputStream, OutputStream}
|
/seL4-l4v-master/seL4/include/benchmark/ |
H A D | benchmark_track.h | 13 #include <machine/io.h>
|