/seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
H A D | l2c_310.h | 20 void plat_cleanL2Range(paddr_t start, paddr_t end); 21 void plat_invalidateL2Range(paddr_t start, paddr_t end); 22 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
|
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | l2c_nop.c | 13 void plat_cleanL2Range(paddr_t start, paddr_t end) {} 14 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} 15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
|
/seL4-refos-master/kernel/src/plat/allwinnerA20/machine/ |
H A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} 38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} 39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
|
/seL4-refos-master/kernel/src/plat/am335x/machine/ |
H A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} 38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} 39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
|
/seL4-refos-master/kernel/src/plat/omap3/machine/ |
H A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} 38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} 39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {}
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-riscv/ |
H A D | elfloader.h | 12 typedef void (*init_riscv_kernel_t)(paddr_t ui_p_reg_start, 13 paddr_t ui_p_reg_end, int32_t pv_offset, 15 paddr_t dtb_addr_p,
|
/seL4-refos-master/tools/elfloader/include/arch-riscv/ |
H A D | elfloader.h | 12 typedef void (*init_riscv_kernel_t)(paddr_t ui_p_reg_start, 13 paddr_t ui_p_reg_end, int32_t pv_offset, 15 paddr_t dtb_addr_p,
|
/seL4-refos-master/kernel/include/arch/arm/arch/kernel/ |
H A D | boot.h | 16 paddr_t ui_p_reg_start, 17 paddr_t ui_p_reg_end, 20 paddr_t dtb_addr_p,
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/ |
H A D | elfloader.h | 10 typedef void (*init_arm_kernel_t)(paddr_t ui_p_reg_start, 11 paddr_t ui_p_reg_end, 14 paddr_t dtb, uint32_t dtb_size);
|
/seL4-refos-master/tools/elfloader/include/arch-arm/ |
H A D | elfloader.h | 10 typedef void (*init_arm_kernel_t)(paddr_t ui_p_reg_start, 11 paddr_t ui_p_reg_end, 14 paddr_t dtb, uint32_t dtb_size);
|
/seL4-refos-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 31 static inline void plat_cleanL2Range(paddr_t start, paddr_t end); 32 static inline void plat_invalidateL2Range(paddr_t start, paddr_t end); 33 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end); 36 void cleanInvalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 37 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 38 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart); 39 void invalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstar [all...] |
H A D | types.h | 22 typedef word_t paddr_t; typedef 44 typedef paddr_t seL4_PAddr; 47 paddr_t paddr;
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | boot_sys.h | 18 paddr_t ioapic_paddr[CONFIG_MAX_NUM_IOAPIC]; 20 paddr_t drhu_list[MAX_NUM_DRHU]; /* list of physical addresses of the IOMMUs */ 23 paddr_t mods_end_paddr; /* physical address where boot modules end */ 24 paddr_t boot_module_start; /* physical address of first boot module */
|
/seL4-refos-master/kernel/include/ |
H A D | machine.h | 17 static inline void *CONST ptrFromPAddr(paddr_t paddr) 24 static inline paddr_t CONST addrFromPPtr(void *pptr) 26 return (paddr_t)pptr - PPTR_BASE_OFFSET;
|
H A D | basic_types.h | 24 paddr_t start; 25 paddr_t end;
|
H A D | hardware.h | 50 #define KERNEL_ELF_TOP ((paddr_t)(&ki_end))
|
/seL4-refos-master/kernel/include/arch/riscv/arch/ |
H A D | types.h | 19 typedef word_t paddr_t; typedef 33 typedef paddr_t seL4_PAddr; 41 paddr_t paddr;
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
H A D | vspace.h | 12 static inline pte_t x86_make_device_pte(paddr_t phys)
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
H A D | machine_pl2.h | 34 static inline void setCurrentPDPL2(paddr_t pa) {} 38 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr)
|
/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | boot.h | 18 paddr_t ui_p_reg_start, 19 paddr_t ui_p_reg_end, 22 paddr_t dtb_addr_p,
|
/seL4-refos-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 89 void plat_cleanL2Range(paddr_t start, paddr_t end) 91 paddr_t line; 103 void plat_invalidateL2Range(paddr_t start, paddr_t end) 105 paddr_t line; 118 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) 120 paddr_t line;
|
/seL4-refos-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/ |
H A D | hardware.h | 125 paddr_to_kpptr(paddr_t paddr) 131 static inline paddr_t CONST kpptr_to_paddr(void *pptr) 134 return (paddr_t)pptr - KERNEL_ELF_BASE_OFFSET;
|
/seL4-refos-master/kernel/include/arch/x86/arch/ |
H A D | types.h | 22 typedef word_t paddr_t; typedef 38 typedef paddr_t seL4_PAddr;
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | vspace.h | 17 static inline pte_t x86_make_device_pte(paddr_t phys)
|
/seL4-refos-master/kernel/include/plat/spike/plat/instance/rocket-chip/ |
H A D | hardware.h | 37 static const paddr_t BOOT_RODATA *kernel_devices = NULL;
|