/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/ |
H A D | hardware.h | 57 { .start = 0x80000000, .end = 0x88000000 } 61 { .start = 0x43f80000, .end = 0x43f81000 }, /* IMX31 I2C 1 */ 62 { .start = 0x43f84000, .end = 0x43f85000 }, /* IMX31 I2C 3 */ 63 { .start = 0x43f88000, .end = 0x43f89000 }, /* IMX31 USBOTG */ 64 { .start = 0x43f8c000, .end = 0x43f8d000 }, /* IMX31 ATA control */ 65 { .start = UART_PADDR, .end = UART_PADDR + BIT(PAGE_BITS) }, /* IMX31 UART 1 */ 66 { .start = 0x43f94000, .end = 0x43f95000 }, /* IMX31 UART 2 */ 67 { .start = 0x43f98000, .end = 0x43f99000 }, /* IMX31 I2C 2 */ 68 { .start = 0x43f9c000, .end = 0x43f9d000 }, /* IMX31 1-WIRE */ 69 { .start = 0x43fa0000, .end [all...] |
/seL4-mcs-10.1.1/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 38 #define REG_EMPTY (region_t){ .start = 0, .end = 0 } 39 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
|
H A D | bootinfo.h | 21 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 }
|
H A D | machine.h | 36 p_reg.start + BASE_OFFSET, p_reg.end + BASE_OFFSET 44 reg.start - BASE_OFFSET, reg.end - BASE_OFFSET
|
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/ |
H A D | l2c_310.h | 25 void plat_cleanL2Range(paddr_t start, paddr_t end); 26 void plat_invalidateL2Range(paddr_t start, paddr_t end); 27 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
|
/seL4-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/src/arch/arm/machine/ |
H A D | cache.c | 21 cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) argument 26 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { 33 cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument 38 \<or> \<acute>end - \<acute>start <= gs_get_assn cap_get_capSizeBits_'proc \<acute>ghost'state) 39 \<and> \<acute>start <= \<acute>end, id)" */ 42 cleanCacheRange_PoC(start, end, pstart); 48 plat_cleanInvalidateL2Range(pstart, pstart + (end - start)); 54 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { 63 cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument 66 \<or> \<acute>end 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-mcs-10.1.1/include/arch/arm/arch/ |
H A D | machine.h | 33 static inline void plat_cleanL2Range(paddr_t start, paddr_t end); 34 static inline void plat_invalidateL2Range(paddr_t start, paddr_t end); 35 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end); 38 void cleanInvalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 39 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 40 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart); 41 void invalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 42 void invalidateCacheRange_I(word_t start, word_t end, paddr_t pstart); 43 void branchFlushRange(word_t start, word_t end, paddr_t pstart);
|
/seL4-mcs-10.1.1/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-mcs-10.1.1/include/plat/bcm2837/plat/machine/ |
H A D | hardware.h | 55 { .start = 0x01000000, .end = 0x08000000 } 59 { /* .start */ SDHC_PADDR , /* .end */ SDHC_PADDR + (1u << PAGE_BITS) }, 60 { /* .start */ USB2_PADDR , /* .end */ USB2_PADDR + (1u << PAGE_BITS) }, 61 { /* .start */ UART_PADDR , /* .end */ UART_PADDR + (1u << PAGE_BITS) }, 62 { /* .start */ TIMER_PADDR , /* .end */ TIMER_PADDR + (1u << PAGE_BITS) }, 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-mcs-10.1.1/src/arch/arm/kernel/ |
H A D | boot.c | 31 /* pointer to the end of boot code/data in kernel image */ 34 /* pointer to end of kernel image */ 55 mem_reg.end = 0; 58 if (reserved_reg.end > residual_reg.start) { 59 residual_reg.start = reserved_reg.end; 61 } else if (mem_reg.end > reserved_reg.start) { 63 mem_reg.end = reserved_reg.start; 64 residual_reg.start = reserved_reg.end; 68 residual_reg.end = 0; 71 if (mem_reg.start < mem_reg.end) { [all...] |
/seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
H A D | boot.c | 34 /* pointer to the end of boot code/data in kernel image */ 37 /* pointer to end of kernel image */ 95 mem_reg.end = 0; 98 if (reserved_reg.end > residual_reg.start) { 99 residual_reg.start = reserved_reg.end; 101 } else if (mem_reg.end > reserved_reg.start) { 103 mem_reg.end = reserved_reg.start; 104 residual_reg.start = reserved_reg.end; 108 residual_reg.end = 0; 111 if (mem_reg.start < mem_reg.end) { [all...] |
/seL4-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/src/arch/x86/kernel/ |
H A D | boot_sys.c | 33 /* start/end of CPU boot code */ 37 /* start/end of boot stack */ 68 paddr_t mods_end_paddr; /* physical address where boot modules end */ 94 paddr_t end = boot_state.mem_p_regs.list[i].end; local 95 if (pa_start >= start && pa_end < end) { 111 paddr_t end = boot_state.mem_p_regs.list[i].end; local 112 word_t region_size = end - start; 137 if (v_reg.end [all...] |
H A D | boot.c | 89 if (allocated_p_regions.regs[i - 1].end == allocated_p_regions.regs[i].start) { 91 allocated_p_regions.regs[i - 1].end = allocated_p_regions.regs[i].end; 109 if (allocated_p_regions.regs[i].start < reg.end && 110 allocated_p_regions.regs[i].end > reg.start) { 122 assert(reg.start <= reg.end); 129 if (allocated_p_regions.regs[i].end == reg.start) { 130 allocated_p_regions.regs[i].end = reg.end; 134 if (allocated_p_regions.regs[i].start == reg.end) { 229 pptr_t end = mem_p_regs.list[i].end; local [all...] |
/seL4-mcs-10.1.1/src/plat/imx31/machine/ |
H A D | hardware.c | 90 void plat_cleanL2Range(paddr_t start, paddr_t end) argument 96 index < L2_LINE_INDEX(end) + 1; 104 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument 110 index < L2_LINE_INDEX(end) + 1; 119 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument 125 index < L2_LINE_INDEX(end) + 1;
|
/seL4-mcs-10.1.1/include/plat/tx2/plat/machine/ |
H A D | hardware.h | 74 { .start = PHYSICAL_RAM_START, .end = PHYSICAL_CARVEOUT_START }, 76 { .start = PHYSICAL_CARVEOUT_END, .end = PHYSICAL_RAM_END },
|
/seL4-mcs-10.1.1/include/plat/spike/plat/machine/ |
H A D | hardware.h | 87 void plat_cleanL2Range(paddr_t start, paddr_t end); 89 void plat_invalidateL2Range(paddr_t start, paddr_t end); 91 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
|
/seL4-mcs-10.1.1/src/plat/omap3/machine/ |
H A D | hardware.c | 71 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument 72 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument 73 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
|