| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/Examples/ |
| H A D | dialTest.sml | 81 val info = ref {minPos = 10, maxPos = 20, pageSize = 4, pos = 15, trackPos = 0}; value
|
| /seL4-l4v-10.1.1/seL4/include/benchmark/ |
| H A D | benchmark_track.h | 59 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo); local
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibUnits.sig | 22 val info : units -> string value
|
| H A D | mlibUnits.sml | 115 fun info ((INL _) : units) = "*" function
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/ |
| H A D | intro.tex | |
| /seL4-l4v-10.1.1/HOL4/Manual/Tutorial/ |
| H A D | intro.tex | |
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | hardware.c | 105 rdmsr_safe_result_t info = x86_rdmsr_safe(IA32_PLATFORM_INFO_MSR); local
|
| /seL4-l4v-10.1.1/seL4/src/fastpath/ |
| H A D | fastpath.c | 25 seL4_MessageInfo_t info; local
191 seL4_MessageInfo_t info; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_syscall.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
45 x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
68 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
111 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| H A D | syscalls_sysenter.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
46 x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
70 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
116 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| H A D | syscalls.h | 89 seL4_MessageInfo_t info; local
114 seL4_MessageInfo_t info; local
146 seL4_MessageInfo_t info; local
171 seL4_MessageInfo_t info; local
191 seL4_MessageInfo_t info; local
231 seL4_MessageInfo_t info; local
256 seL4_MessageInfo_t info; local
[all...] |
| /seL4-l4v-10.1.1/l4v/misc/autostop/ |
| H A D | stop.c | 273 struct sysinfo info; local
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 84 seL4_MessageInfo_t info; local
109 seL4_MessageInfo_t info; local
142 seL4_MessageInfo_t info; local
166 seL4_MessageInfo_t info; local
187 seL4_MessageInfo_t info; local
229 seL4_MessageInfo_t info; local
262 seL4_MessageInfo_t info; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | syscall.c | 264 seL4_MessageInfo_t info; local
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | thread.c | 195 transferCaps(seL4_MessageInfo_t info, extra_caps_t caps, argument
[all...] |
| /seL4-l4v-10.1.1/seL4/tools/ |
| H A D | lex.py | 99 info = critical variable in class:PlyLogger
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | annotatedIR.sml | 289 val info = {fspec = DECIDE(Term`T`), ins = ins, outs = ins, context = []} value
599 val info = {ins = ins, outs = outs, context = [], fspec = thm_t} value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | annotatedIR.sml | 272 val info = {fspec = DECIDE(Term`T`), ins = ins, outs = ins, context = []} value
541 val info = {ins = ins, outs = outs, context = [], fspec = thm_t} value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
| H A D | annotatedIR.sml | 272 val info = {fspec = DECIDE(Term`T`), ins = ins, outs = ins, context = []} value
541 val info = {ins = ins, outs = outs, context = [], fspec = thm_t} value
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_types.sml | 322 val info = {dependencies = deps, commands = commands} value
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | lalr.sml | 309 let val info = look_info nt value
336 let val info = prop_look ntl value
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 231 seL4_MessageInfo_t info; local
257 seL4_MessageInfo_t info; local
290 seL4_MessageInfo_t info; local
315 seL4_MessageInfo_t info; local
349 seL4_MessageInfo_t info; local
390 seL4_MessageInfo_t info; local
425 seL4_MessageInfo_t info; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 33 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
55 x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
77 x86_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info) argument
123 x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2) argument
173 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
194 x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
214 x86_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
253 x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2) argument
343 seL4_MessageInfo_t info; local
364 seL4_MessageInfo_t info; local
388 seL4_MessageInfo_t info; local
408 seL4_MessageInfo_t info; local
424 seL4_MessageInfo_t info; local
450 seL4_MessageInfo_t info; local
471 seL4_MessageInfo_t info; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 222 val info = if jobs = 1 then #info outs else (fn _ => ()) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Windows.sml | 88 type info type
415 type info = int (* Actually abstract. *) type
[all...] |