| /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/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/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/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/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
|
| H A D | fdt.c | 167 const uint32_t *end = value + state->reg_len / 4; local
|
| /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/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/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/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/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/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/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/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/x86/object/ |
| H A D | ioport.c | 30 make_pattern(int start, int end) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 94 paddr_t end = boot_state.mem_p_regs.list[i].end; local
111 paddr_t end = boot_state.mem_p_regs.list[i].end; local
[all...] |
| H A D | boot.c | 229 pptr_t end = mem_p_regs.list[i].end; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | vcpu.c | 34 vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
52 vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
|
| H A D | iospace.c | 104 seL4_SlotPos end = 0; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | l2c_310.c | 385 void plat_cleanL2Range(paddr_t start, paddr_t end) argument
401 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument
420 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
| 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/arch/arm/64/kernel/ |
| H A D | vspace.c | 1449 doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1487 performPageGlobalDirectoryFlush(int invLabel, pgde_t *pgd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1655 performPageFlush(int invLabel, pgde_t *pgd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1733 vptr_t start, end; local
2322 vptr_t start, end; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1882 doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1929 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2125 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2204 vptr_t start, end; local
2734 vptr_t start, end; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | bootinfo_types.h | 43 seL4_SlotPos end; /* first CNode slot position AFTER region */ member in struct:__anon107
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 43 seL4_SlotPos end; /* first CNode slot position AFTER region */ member in struct:__anon172
|