| /seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/ |
| H A D | hardware.c | 23 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
24 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
25 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/ |
| H A D | hardware.c | 39 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
40 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
41 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/ |
| H A D | hardware.c | 23 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
24 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
25 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/ |
| H A D | hardware.c | 25 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
26 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
27 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/ |
| H A D | hardware.c | 25 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
26 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
27 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/ |
| H A D | loop.c | 40 create_loop (unsigned int start, unsigned int end) { argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/hikey/machine/ |
| H A D | hardware.c | 28 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
29 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
30 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/imx7/machine/ |
| H A D | hardware.c | 29 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
30 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
31 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/zynqmp/machine/ |
| H A D | hardware.c | 36 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
37 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
38 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/include/ |
| H A D | basic_types.h | 25 pptr_t end; member in struct:region
30 paddr_t end; member in struct:p_region
35 vptr_t end; member in struct:v_region
|
| /seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/ |
| H A D | hardware.h | 67 static inline void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
68 static inline void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
69 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/ |
| H A D | hardware.c | 46 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
47 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
48 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | cache.c | 21 cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) argument
33 cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
63 cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
86 cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) argument
103 invalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
146 invalidateCacheRange_I(vptr_t start, vptr_t end, paddr_t pstart) argument
158 branchFlushRange(vptr_t start, vptr_t end, paddr_t pstart) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/ |
| H A D | hardware.c | 69 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
70 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
71 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
| H A D | Spline.java | 63 Point start,end; field in class:Spline
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | Spline.java | 63 Point start,end; field in class:Spline
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | kmalloc.c | 65 void init(void * start, void * end) argument
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | kmalloc.c | 65 void init(void * start, void * end) argument
|
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | tcb.h | 29 tcb_t *end; member in struct:tcb_queue
|
| /seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
| H A D | hardware.c | 121 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
122 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
123 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/ |
| H A D | hardware.c | 102 void plat_cleanL2Range(paddr_t start, paddr_t end) argument
116 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument
131 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot2.h | 37 uint32_t end; member in struct:multiboot2_module
|
| /seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
| H A D | hardware.c | 186 void plat_cleanL2Range(paddr_t start, paddr_t end) argument
189 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument
193 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | machoexport.cpp | 390 char *end = start + memTable[i].mtLength; local
|
| H A D | pecoffexport.cpp | 274 char *end = start + memTable[i].mtLength; local
|