Searched refs:os (Results 1 - 25 of 159) sorted by relevance

1234567

/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/predef/
H A Dos.h12 #include <msgpack/predef/os/aix.h>
13 #include <msgpack/predef/os/amigaos.h>
14 #include <msgpack/predef/os/android.h>
15 #include <msgpack/predef/os/beos.h>
16 #include <msgpack/predef/os/bsd.h>
17 #include <msgpack/predef/os/cygwin.h>
18 #include <msgpack/predef/os/haiku.h>
19 #include <msgpack/predef/os/hpux.h>
20 #include <msgpack/predef/os/irix.h>
21 #include <msgpack/predef/os/io
[all...]
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dos.h8 #include <mini-os/hypervisor.h>
17 #include <mini-os/types.h>
18 #include <mini-os/kernel.h>
25 #include <mini-os/machine/os.h>
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/
H A D__main__.py14 import sys, os namespace
16 sys.path.append(os.path.join(os.path.dirname(os.path.abspath(__file__)), '../../'))
17 sys.path.append(os.path.dirname(os.path.abspath(__file__)))
36 app.setWindowIcon(QtGui.QIcon(os.path.join(os.path.dirname(os.path.abspath(__file__)), 'Assests/VisualCAmkES.png')))
H A Dtestvisualcamkes.py14 import sys, os namespace
18 sys.path.append(os.path.join(os.path.dirname(os.path.abspath(__file__)), '../../'))
19 sys.path.append(os.path.dirname(os.path.abspath(__file__)))
28 graph.ast = ASTModel.get_ast(os.path.join(os.path.dirname(os.path.abspath(__file__)), "../../../../apps/simple/simple.camkes"))
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dsched.c38 #include <mini-os/os.h>
39 #include <mini-os/hypervisor.h>
40 #include <mini-os/time.h>
41 #include <mini-os/mm.h>
42 #include <mini-os/types.h>
43 #include <mini-os/lib.h>
44 #include <mini-os/semaphore.h>
/seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/
H A Dlintsource.py19 import os, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
29 CAMKES_LINT = os.path.join(os.path.dirname(ME),
39 srcdir = os.path.join(os.path.dirname(ME), '..')
42 for src in os.listdir(srcdir):
45 path = os
[all...]
H A Dlint.py19 import os, pylint, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
46 srcdir = os.path.join(os.path.dirname(ME), '..')
49 for src in os.listdir(srcdir):
52 path = os.path.abspath(os.path.join(srcdir, src))
H A Dtestckeywords.py19 import os, subprocess, sys, tempfile, unittest namespace
21 ME = os.path.abspath(__file__)
24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
46 with open(os.devnull, 'wt') as f:
56 src = os.path.join(os.path.dirname(ME), '../../../tools/ckeywords.c')
57 assert os.path.exists(src)
60 aout = os.path.join(tmp, 'a.out')
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/
H A Dlintsource.py19 import os, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
29 CAMKES_LINT = os.path.join(os.path.dirname(ME),
39 srcdir = os.path.join(os.path.dirname(ME), '..')
42 for src in os.listdir(srcdir):
45 path = os
[all...]
H A Dlint.py19 import os, pylint, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
43 srcdir = os.path.join(os.path.dirname(ME), '..')
46 for src in os.listdir(srcdir):
49 path = os.path.abspath(os.path.join(srcdir, src))
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dlintsource.py19 import os, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
29 CAMKES_LINT = os.path.join(os.path.dirname(ME),
39 srcdir = os.path.join(os.path.dirname(ME), '..')
42 for src in os.listdir(srcdir):
45 path = os
[all...]
H A Dlint.py19 import os, pylint, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
43 srcdir = os.path.join(os.path.dirname(ME), '..')
46 for src in os.listdir(srcdir):
49 path = os.path.abspath(os.path.join(srcdir, src))
/seL4-camkes-master/projects/camkes-tool/camkes/runner/tests/
H A Dlint.py19 import os, pylint, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
28 sys.path.append(os.path.join(os.path.dirname(ME), '../../../../python-capdl'))
46 srcdir = os.path.join(os.path.dirname(ME), '..')
49 for src in os.listdir(srcdir):
52 path = os
[all...]
H A Dlintsource.py19 import os, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
29 CAMKES_LINT = os.path.join(os.path.dirname(ME),
39 srcdir = os.path.join(os.path.dirname(ME), '..')
42 for src in os.listdir(srcdir):
45 path = os
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/
H A Dlintsource.py19 import os, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
29 CAMKES_LINT = os.path.join(os.path.dirname(ME),
39 srcdir = os.path.join(os.path.dirname(ME), '..')
42 for src in os.listdir(srcdir):
45 path = os
[all...]
H A Djinja_lint.py23 import os, re, subprocess, sys, unittest namespace
25 ME = os.path.abspath(__file__)
28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
35 self.lint = os.path.join(os.path.dirname(ME),
37 self.assertTrue(os.access(self.lint, os.X_OK),
52 template_dir = os.path.abspath(os
[all...]
H A Dtestbadidioms.py23 import os, re, subprocess, sys, unittest namespace
25 ME = os.path.abspath(__file__)
28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
47 template_dir = os.path.abspath(os.path.join(os.path.dirname(ME), '..'))
48 tests_dir = os.path.dirname(ME)
51 for root, _, filenames in os.walk(template_dir):
63 path = os
[all...]
H A Dlint.py19 import os, pylint, re, sys, unittest namespace
22 ME = os.path.abspath(__file__)
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
43 srcdir = os.path.join(os.path.dirname(ME), '..')
46 for src in os.listdir(srcdir):
49 path = os.path.abspath(os.path.join(srcdir, src))
H A Djinja_pylint.py23 import os, re, subprocess, sys, unittest namespace
25 ME = os.path.abspath(__file__)
28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
35 self.lint = os.path.join(os.path.dirname(ME),
37 self.assertTrue(os.access(self.lint, os.X_OK),
77 template_dir = os.path.abspath(os
[all...]
/seL4-camkes-master/tools/rumprun/platform/xen/pci/
H A Drumphyper_dma.c26 #include <mini-os/os.h>
27 #include <mini-os/ioremap.h>
28 #include <mini-os/pcifront.h>
29 #include <mini-os/events.h>
30 #include <mini-os/mm.h>
31 #include <mini-os/hypervisor.h>
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dconfig.sub123 os=-$maybe_os
127 os=-linux-android
133 then os=`echo $1 | sed 's/.*-/-/'`
134 else os=; fi
142 case $os in
143 -sun*os*)
153 os=
157 os=-cnk
160 os=
166 os
[all...]
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dconfig.sub123 os=-$maybe_os
127 os=-linux-android
133 then os=`echo $1 | sed 's/.*-/-/'`
134 else os=; fi
142 case $os in
143 -sun*os*)
153 os=
157 os=-cnk
160 os=
166 os
[all...]
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dconfig.sub122 os=-$maybe_os
126 os=-linux-android
132 then os=`echo "$1" | sed 's/.*-/-/'`
133 else os=; fi
141 case $os in
142 -sun*os*)
152 os=
156 os=-cnk
159 os=
165 os
[all...]
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/doc/
H A Dconf.py14 import sys, os namespace
18 # documentation root, use os.path.abspath to make it absolute, like shown here.
19 sys.path.insert(0, os.path.abspath('ext'))
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dkernel.c30 #include <mini-os/os.h>
31 #include <mini-os/hypervisor.h>
32 #include <mini-os/mm.h>
33 #include <mini-os/events.h>
34 #include <mini-os/time.h>
35 #include <mini-os/types.h>
36 #include <mini-os/lib.h>
37 #include <mini-os/xenbus.h>
38 #include <mini-os/gntta
[all...]

Completed in 142 milliseconds

1234567