| /seL4-l4v-10.1.1/seL4/src/ |
| H A D | util.c | 115 long res; local
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 602 getBreakpoint_t res; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | ioport.c | 184 uint32_t res; local
212 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], res); local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | capdl.c | 89 static int getArg(unsigned long *res) argument
|
| H A D | breakpoint.c | 472 convertedTypeAndAccess_t res; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | boot.c | 47 bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before); local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | l2c_310.c | 110 uint32_t res[62]; member in struct:l2cc_map::__anon221
118 uint32_t res[60]; member in struct:l2cc_map::__anon222
131 uint32_t res[55]; member in struct:l2cc_map::__anon223
135 uint32_t res[64]; member in struct:l2cc_map::__anon224
138 uint32_t res[64]; member in struct:l2cc_map::__anon225
141 uint32_t res[64]; member in struct:l2cc_map::__anon226
144 uint32_t res[64]; member in struct:l2cc_map::__anon227
148 uint32_t res[12]; member in struct:l2cc_map::__anon228
167 uint32_t res[64]; member in struct:l2cc_map::__anon229
187 uint32_t res[ member in struct:l2cc_map::__anon230
194 uint32_t res[64]; member in struct:l2cc_map::__anon231
197 uint32_t res[64]; member in struct:l2cc_map::__anon232
203 uint32_t res[62]; member in struct:l2cc_map::__anon233
207 uint32_t res[64]; member in struct:l2cc_map::__anon234
210 uint32_t res[64]; member in struct:l2cc_map::__anon235
214 uint32_t res[16]; member in struct:l2cc_map::__anon236
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
| H A D | capdl.c | 88 static int getArg32(unsigned int *res) argument
|
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | faults.c | 169 syscall_error_t res; local
|
| /seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/ |
| H A D | machine.h | 95 uint8_t res[0x200]; member in struct:intc_regs
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | parse_forloop.c | 44 int j, res; local
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 439 val res = Resolution.new resolutionParameters problem value
|
| H A D | Useful.sml | 850 val res = f a value
[all...] |
| H A D | Rule.sml | 197 val res as (tm',_) = conv tm value
314 val res as (lit',_) = literule lit value
|
| H A D | Resolution.sml | 103 val res = value
|
| H A D | Parse.sml | 100 val (res,_) = (parser ++ finished >> fst) input value
|
| H A D | Options.sml | 145 val (res,n) = indent (" ",n) value
146 val res = res ^ join ", " n value
147 val res = List.foldl (fn (x,y) => y ^ " " ^ x) res r value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 439 val res = Resolution.new resolutionParameters problem value
|
| H A D | Useful.sml | 850 val res = f a value
[all...] |
| H A D | Rule.sml | 197 val res as (tm',_) = conv tm value
314 val res as (lit',_) = literule lit value
|
| H A D | Resolution.sml | 103 val res = value
|
| H A D | Parse.sml | 100 val (res,_) = (parser ++ finished >> fst) input value
|
| H A D | Options.sml | 145 val (res,n) = indent (" ",n) value
146 val res = res ^ join ", " n value
147 val res = List.foldl (fn (x,y) => y ^ " " ^ x) res r value
|
| /seL4-l4v-10.1.1/HOL4/polyml/samplecode/Foreign/ |
| H A D | ForeignTest.c | 32 char *res = malloc(n*nSize + 1); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Window.sml | 305 val res = getClientRect (hWnd, v) value
314 val res = getWindowRect (hWnd, v) value
323 val res = adjustWindowRect(v, LargeWord.toInt(Style.toWord style), bMenu) value
332 val res = adjustWindowRectEx(v, LargeWord.toInt(Style.toWord style), bMenu, exStyle) value
384 val res = createWindowEx value
417 val res = createMDIClient value
437 val res = defWindowProc(hWnd, wMsg, wParam, lParam) value
446 val res = defFrameProc(hWnd, hWndMDIClient, wMsg, wParam, lParam) value
456 val res = defMDIChildProc(hWnd, wMsg, wParam, lParam) value
[all...] |