Searched refs:p_region_t (Results 1 - 17 of 17) sorted by relevance
/seL4-test-master/kernel/include/plat/spike/plat/instance/rocket-chip/ |
H A D | hardware.h | 32 static p_region_t BOOT_DATA avail_p_regs[] = { 39 static const p_region_t BOOT_RODATA *dev_p_regs = NULL;
|
/seL4-test-master/kernel/include/ |
H A D | machine.h | 29 static inline region_t CONST paddr_to_pptr_reg(p_region_t p_reg) 36 static inline p_region_t CONST pptr_to_paddr_reg(region_t reg) 38 return (p_region_t) {
|
H A D | basic_types.h | 26 } p_region_t; typedef in typeref:struct:p_region 34 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | hardware.c | 24 return sizeof(avail_p_regs) / sizeof(p_region_t); 27 BOOT_CODE const p_region_t *get_avail_p_regs(void) 29 return (const p_region_t *) avail_p_regs; 41 p_region_t reg = {
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H 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 */
|
H 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);
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | hardware.c | 43 return sizeof(avail_p_regs) / sizeof(p_region_t); 46 BOOT_CODE p_region_t *get_avail_p_regs(void) 48 return (p_region_t *) avail_p_regs; 61 p_region_t reg = {
|
/seL4-test-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 17 const p_region_t *get_avail_p_regs(void); 19 p_region_t get_dev_p_reg(word_t i);
|
/seL4-test-master/kernel/include/kernel/ |
H A D | boot.h | 33 p_region_t reserved[MAX_NUM_RESV_REG]; 50 void init_freemem(word_t n_available, const p_region_t *available, 53 bool_t reserve_region(p_region_t reg);
|
/seL4-test-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 221 p_region_t *get_avail_p_regs(void); 223 p_region_t get_dev_p_reg(word_t i);
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | hardware.c | 24 if (!reserve_region((p_region_t) {
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 203 p_region_t boot_mem_reuse_p_reg = ((p_region_t) { 207 region_t ui_reg = paddr_to_pptr_reg((p_region_t) { 230 p_region_t dtb_p_reg = {
|
/seL4-test-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 45 BOOT_CODE static void arch_init_freemem(p_region_t ui_p_reg, p_region_t dtb_p_reg, v_region_t it_v_reg, 322 p_region_t ui_p_reg = (p_region_t) { 346 p_region_t dtb_p_reg = {
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 148 p_region_t boot_mem_reuse_p_reg; 199 static BOOT_CODE bool_t add_mem_p_regs(p_region_t reg) 239 if (!add_mem_p_regs((p_region_t) { 342 p_region_t ui_p_regs; 578 p_region_t avail; 680 if (!add_mem_p_regs((p_region_t) {
|
H A D | boot.c | 88 BOOT_CODE static void arch_init_freemem(p_region_t ui_p_reg, v_region_t v_reg, 102 p_region_t boot_mem_reuse_p_reg,
|
H A D | vspace.c | 139 if (!reserve_region((p_region_t) { 151 if (!reserve_region((p_region_t) { 175 if (!reserve_region((p_region_t) {
|
/seL4-test-master/kernel/src/kernel/ |
H A D | boot.c | 46 BOOT_CODE bool_t reserve_region(p_region_t reg) 627 region_t reg = paddr_to_pptr_reg((p_region_t) { 639 region_t reg = paddr_to_pptr_reg((p_region_t) { 706 BOOT_CODE void init_freemem(word_t n_available, const p_region_t *available,
|
Completed in 652 milliseconds