Searched refs:paddr_t (Results 1 - 25 of 90) sorted by relevance

1234

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dl2c_310.h20 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 Dl2c_nop.c13 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 Dl2cache.c37 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 Dl2cache.c37 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 Dl2cache.c37 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 Delfloader.h12 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 Delfloader.h12 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 Dboot.h16 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 Delfloader.h10 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 Delfloader.h10 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 Dmachine.h31 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 Dtypes.h22 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 Dboot_sys.h18 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 Dmachine.h17 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 Dbasic_types.h24 paddr_t start;
25 paddr_t end;
H A Dhardware.h50 #define KERNEL_ELF_TOP ((paddr_t)(&ki_end))
/seL4-refos-master/kernel/include/arch/riscv/arch/
H A Dtypes.h19 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 Dvspace.h12 static inline pte_t x86_make_device_pte(paddr_t phys)
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/
H A Dmachine_pl2.h34 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 Dboot.h18 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 Dhardware.c89 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 Dhardware.h125 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 Dtypes.h22 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 Dvspace.h17 static inline pte_t x86_make_device_pte(paddr_t phys)
/seL4-refos-master/kernel/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h37 static const paddr_t BOOT_RODATA *kernel_devices = NULL;

Completed in 164 milliseconds

1234