| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jira ver307.h | 7 int global; variable
|
| H A D | emptystmt.c | 7 int global; variable
9 int g(int n) { global += n; }
15 global + 3;
|
| H A D | jira ver307.c | 11 return i + global + 1;
|
| H A D | jiraver384.c | 7 int global; variable
|
| H A D | jiraver422.c | 7 int global; variable
|
| H A D | inner_fncalls.c | 9 int global; variable
15 return global + h(6 * x) * y;
20 global = 3;
21 global = f(x,2);
26 int local = global * (f(y - 2, y) + h(y));
|
| H A D | fncall.c | 7 unsigned global; variable
46 global++;
|
| H A D | jiraver400.c | 7 int global; variable
23 return f(global * 2);
|
| H A D | parse_fncall.c | 7 int global; variable
49 global = x;
|
| H A D | hard_struct.c | 21 foo global; variable
|
| H A D | locvarfncall.c | 7 int global; variable
|
| /seL4-l4v-master/seL4/src/drivers/timer/ |
| H A D | exynos4412-mct.c | 21 mct->global.comp0_add_inc = 0;
23 mct->global.int_en = GINT_COMP0_IRQ;
24 while (mct->global.wstat != (GWSTAT_COMP0_ADD_INC));
25 mct->global.wstat = (GWSTAT_COMP0_ADD_INC);
27 mct->global.tcon = GTCON_EN | GTCON_COMP0_EN;
28 while (mct->global.wstat != GWSTAT_TCON);
29 mct->global.wstat = GWSTAT_TCON;
40 mct->global.comp0_add_inc = TIMER_RELOAD;
42 uint64_t comparator_value = ((((uint64_t) mct->global.cnth) << 32llu)
43 | mct->global
[all...] |
| H A D | exynos4210-mct.c | 28 mct->global.tcon = GTCON_EN;
29 while (mct->global.wstat != GWSTAT_TCON);
30 mct->global.wstat = GWSTAT_TCON;
|
| /seL4-l4v-master/seL4/include/drivers/timer/ |
| H A D | exynos4412-mct.h | 21 hi2 = mct->global.cnth;
25 lo = mct->global.cntl;
26 hi2 = mct->global.cnth;
39 mct->global.comp0h = (uint32_t)(deadline >> 32u);
40 while (!(mct->global.wstat & GWSTAT_COMP0H));
41 mct->global.wstat |= GWSTAT_COMP0H;
43 mct->global.comp0l = (uint32_t) deadline;
45 while (!(mct->global.wstat & GWSTAT_COMP0L));
46 mct->global.wstat |= GWSTAT_COMP0L;
|
| H A D | mct.h | 110 struct mct_global_map global; member in struct:mct_map
118 mct->global.int_stat = mct->global.int_stat;
124 mct->global.wstat = mct->global.wstat;
125 mct->global.cnt_wstat = mct->global.cnt_wstat;
|
| /seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/ |
| H A D | big_bit_ops.c | 16 unsigned long global; variable
40 fr(3, 4, &global);
50 fr(3, 4, &global);
51 fr(3, 4, &global);
|
| /seL4-l4v-master/seL4/include/machine/ |
| H A D | assembler.h | 18 .global _name ; \
27 * global declaration. (c.f. static functions in C).
|
| /seL4-l4v-master/HOL4/examples/muddy/ |
| H A D | MuddyCore.sml | 13 val hdl = dlopen {lib = path, flag = RTLD_NOW, global = false}
|
| /seL4-l4v-master/seL4/src/arch/arm/armv/armv6/ |
| H A D | machine_asm.S | 12 .global lockTLBEntry
|
| /seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/ |
| H A D | machine_asm.S | 17 .global lockTLBEntryCritical
|
| /seL4-l4v-master/seL4/src/arch/x86/32/ |
| H A D | head.S | 36 # Now that paging is enabled we can enable global pages
38 # Set PGE (bit 7) to enable global pages
145 .global boot_cpu_end
|
| /seL4-l4v-master/seL4/src/arch/riscv/ |
| H A D | head.S | 12 .global _start
|
| /seL4-l4v-master/HOL4/src/tactictoe/src/ |
| H A D | tttSetup.sml | 3 (* DESCRIPTION : global parameters for TacticToe *)
|
| /seL4-l4v-master/l4v/spec/haskell/include/ |
| H A D | mct.h | 59 struct mct_global_map global; member in struct:mct_map
|
| /seL4-l4v-master/HOL4/src/AI/machine_learning/ |
| H A D | mlThmData.sig | 10 (* theorems from the global namespace *)
|