Searched refs:end (Results 1 - 25 of 71) sorted by relevance

123

/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dhardware.h57 { .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 Dbasic_types.h25 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 Dbootinfo.h21 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 }
H A Dmachine.h36 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 Dl2c_310.h25 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 Dhardware.c28 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 Dhardware.c29 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 Dhardware.c23 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 Dhardware.c25 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 Dhardware.c25 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 Dhardware.c36 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 Dcache.c21 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 Dmachine.h33 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 Dhardware.c23 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 Dhardware.h55 { .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 Dboot.c31 /* 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 Dboot.c34 /* 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 Dhardware.c46 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 Dhardware.c39 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 Dboot_sys.c33 /* 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 Dboot.c89 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 Dhardware.c90 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 Dhardware.h74 { .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 Dhardware.h87 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 Dhardware.c71 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

Completed in 66 milliseconds

123