| /seL4-camkes-master/projects/camkes/apps/swapcounter/ |
| H A D | service.c | 13 int temp = *a; local
|
| /seL4-camkes-master/projects/musllibc/src/misc/ |
| H A D | getdomainname.c | 9 struct utsname temp; local
|
| /seL4-camkes-master/projects/global-components/templates/ |
| H A D | seL4Ethdriver-to.template.c | 75 uint8_t temp[] = { local
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/model/ |
| H A D | smp.h | 22 void *temp; local
|
| /seL4-camkes-master/projects/util_libs/libutils/src/ |
| H A D | debug.c | 37 uint8_t temp = *(volatile uint8_t*)(address + object_offset); local
43 uint16_t temp = *(volatile uint16_t*)(address + object_offset); local
49 uint32_t temp = *(volatile uint32_t*)(address + object_offset); local
55 uint64_t temp = *(volatile uint64_t*)(address + object_offset); local
[all...] |
| H A D | list.c | 136 node_t *temp = n->next; local
|
| H A D | cbor64.c | 181 char *temp = domain->strings[next_ref]; local
|
| /seL4-camkes-master/projects/musllibc/src/math/ |
| H A D | jn.c | 45 double a, b, temp; local
219 double a, b, temp; local
[all...] |
| H A D | jnf.c | 23 float a, b, temp; local
166 float a, b, temp; local
[all...] |
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 17 word_t temp; local
52 word_t temp; local
|
| /seL4-camkes-master/projects/lwip/src/netif/ppp/polarssl/ |
| H A D | sha1.c | 88 unsigned long temp, W[16], A, B, C, D, E; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
| H A D | sel4bench.h | 239 ia32_pmc_perfevtsel_t temp; local
288 ia32_pmc_perfevtsel_t temp; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | rtc.c | 90 rtc_raw_t temp; local
|
| H A D | serial.c | 153 uint32_t temp; local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_fragments.c | 218 struct pico_tree_node *index, *temp; local
448 struct pico_frame *temp = NULL; local
466 struct pico_frame *temp = NULL; local
524 struct pico_frame *temp = NULL; local
542 struct pico_frame *temp = NULL; local
[all...] |
| H A D | pico_ipfilter.c | 438 struct filter_node temp; local
[all...] |
| H A D | pico_sntp_client.c | 531 pico_time diff, temp; local
|
| H A D | pico_mm.c | 243 void*temp; local
784 void*temp; local
|
| /seL4-camkes-master/projects/picotcp/stack/ |
| H A D | pico_tree.c | 133 struct pico_tree_node *temp = tree->root; local
229 static uint8_t pico_tree_delete_node(struct pico_tree *tree, struct pico_tree_node *d, struct pico_tree_node **temp) argument
256 pico_tree_delete_check_switch(struct pico_tree *tree, struct pico_tree_node *delete, struct pico_tree_node **temp) argument
291 if_nodecolor_black_fix_collisions(struct pico_tree *tree, struct pico_tree_node *temp, uint8_t nodeColor) argument
300 struct pico_tree_node *temp; local
338 struct pico_tree_node*temp; local
366 struct pico_tree_node*temp; local
393 struct pico_tree_node *temp = NULL; local
421 struct pico_tree_node*temp; local
495 struct pico_tree_node*temp; local
[all...] |
| H A D | pico_stack.c | 664 int temp, i, j, sum; local
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 224 word_t temp; local
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 130 word_t temp; local
137 word_t temp; local
144 word_t temp; local
151 word_t temp; local
160 word_t temp; local
167 word_t temp; local
173 word_t temp; local
[all...] |
| /seL4-camkes-master/kernel/include/drivers/irq/ |
| H A D | riscv_plic0.h | 64 word_t temp; local
|
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | unit_mem_manager.c | 249 uint8_t*temp; local
851 uint32_t temp; local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | io.c | 90 ll_t *temp = *l; local
426 ll_t *temp = curr; local
|