Searched refs:p_region_t (Results 1 – 14 of 14) sorted by relevance
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | boot.h | 17 p_region_t list[MAX_NUM_FREEMEM_REG];
21 p_region_t p_reg; /* region where the userland image lies in */
34 p_region_t boot_mem_reuse_p_reg,
49 bool_t add_allocated_p_region(p_region_t reg);
|
| A D | boot_sys.h | 14 p_region_t avail_p_reg; /* region of available physical memory on platform */
15 p_region_t ki_p_reg; /* region where the kernel image is in */
|
| /seL4-master/include/ |
| A D | machine.h | 38 static inline region_t CONST paddr_to_pptr_reg(const p_region_t p_reg) in paddr_to_pptr_reg()
45 static inline p_region_t CONST pptr_to_paddr_reg(const region_t reg) in pptr_to_paddr_reg()
47 return (p_region_t) { in pptr_to_paddr_reg()
|
| A D | basic_types.h | 57 } p_region_t; typedef
65 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 54 p_region_t dtb_p_reg, in arch_init_freemem()
193 p_region_t boot_mem_reuse_p_reg = ((p_region_t) { in try_init_kernel()
197 region_t ui_reg = paddr_to_pptr_reg((p_region_t) { in try_init_kernel()
229 p_region_t dtb_p_reg = P_REG_EMPTY; in try_init_kernel()
253 dtb_p_reg = (p_region_t) { in try_init_kernel()
|
| /seL4-master/include/kernel/ |
| A D | boot.h | 23 p_region_t reserved[MAX_NUM_RESV_REG];
39 bool_t init_freemem(word_t n_available, const p_region_t *available,
42 bool_t reserve_region(p_region_t reg);
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 39 BOOT_CODE static bool_t arch_init_freemem(p_region_t ui_p_reg, in arch_init_freemem()
40 p_region_t dtb_p_reg, in arch_init_freemem()
327 p_region_t ui_p_reg = (p_region_t) { in try_init_kernel()
365 p_region_t dtb_p_reg = P_REG_EMPTY; in try_init_kernel()
389 dtb_p_reg = (p_region_t) { in try_init_kernel()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 146 p_region_t boot_mem_reuse_p_reg; in try_boot_sys_node()
197 static BOOT_CODE bool_t add_mem_p_regs(p_region_t reg) in add_mem_p_regs()
237 if (!add_mem_p_regs((p_region_t) { in parse_mem_map()
340 p_region_t ui_p_regs; in try_boot_sys()
576 p_region_t avail; in try_boot_sys_mbi1()
678 if (!add_mem_p_regs((p_region_t) { in try_boot_sys_mbi2()
|
| A D | boot.c | 70 BOOT_CODE static bool_t arch_init_freemem(p_region_t ui_p_reg, in arch_init_freemem()
90 p_region_t boot_mem_reuse_p_reg, in init_sys_state()
|
| A D | vspace.c | 139 if (!reserve_region((p_region_t) { in map_kernel_window_devices()
151 if (!reserve_region((p_region_t) { in map_kernel_window_devices()
175 if (!reserve_region((p_region_t) { in map_kernel_window_devices()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | hardware.c | 38 reserve_region((p_region_t) { in map_kernel_devices()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | hardware.c | 24 if (!reserve_region((p_region_t) { in platAddDevices()
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 46 BOOT_CODE bool_t reserve_region(p_region_t reg) in reserve_region()
643 region_t reg = paddr_to_pptr_reg((p_region_t) { in create_untypeds()
658 region_t reg = paddr_to_pptr_reg((p_region_t) { in create_untypeds()
718 const p_region_t *available) in check_available_memory()
729 const p_region_t *r = &available[i]; in check_available_memory()
788 BOOT_CODE bool_t init_freemem(word_t n_available, const p_region_t *available, in init_freemem()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 42 reserve_region((p_region_t) { in map_kernel_devices()
|
Completed in 21 milliseconds