Home
last modified time | relevance | path

Searched refs:region_t (Results 1 – 9 of 9) sorted by relevance

/seL4-master/include/kernel/
A Dboot.h25 region_t freemem[MAX_NUM_FREEMEM_REG];
34 static inline bool_t is_reg_empty(region_t reg) in is_reg_empty()
40 word_t n_reserved, const region_t *reserved,
49 bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg);
72 region_t reg,
109 region_t paging;
/seL4-master/include/
A Dmachine.h38 static inline region_t CONST paddr_to_pptr_reg(const p_region_t p_reg) in paddr_to_pptr_reg()
40 return (region_t) { 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()
A Dbasic_types.h52 } region_t; typedef
64 #define REG_EMPTY (region_t){ .start = 0, .end = 0 }
/seL4-master/src/kernel/
A Dboot.c24 BOOT_BSS static region_t rootserver_mem;
99 BOOT_CODE static bool_t insert_region(region_t reg) in insert_region()
361 region_t reg, in create_frames_of_region()
600 region_t reg, in create_untypeds_for_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()
680 region_t reg = ndks_boot.freemem[i]; in create_untypeds()
762 const region_t *r = &reserved[i]; in check_reserved_memory()
783 BOOT_BSS static region_t avail_reg[MAX_NUM_FREEMEM_REG];
842 region_t m = avail_reg[a]; in init_freemem()
[all …]
/seL4-master/src/arch/riscv/kernel/
A Dboot.c26 BOOT_BSS static region_t res_reg[NUM_RESERVED_REGIONS];
53 BOOT_CODE static bool_t arch_init_freemem(region_t ui_reg, in arch_init_freemem()
196 region_t boot_mem_reuse_reg = paddr_to_pptr_reg(boot_mem_reuse_p_reg); in try_init_kernel()
197 region_t ui_reg = paddr_to_pptr_reg((p_region_t) { in try_init_kernel()
335 region_t extra_bi_region = { in try_init_kernel()
/seL4-master/src/arch/arm/kernel/
A Dboot.c37 BOOT_BSS static region_t reserved[NUM_RESERVED_REGIONS];
70 region_t ui_reg = paddr_to_pptr_reg(ui_p_reg); in arch_init_freemem()
330 region_t ui_reg = paddr_to_pptr_reg(ui_p_reg); in try_init_kernel()
484 region_t extra_bi_region = { in try_init_kernel()
573 (region_t) { in try_init_kernel()
/seL4-master/src/arch/x86/kernel/
A Dboot.c27 BOOT_BSS static region_t reserved[MAX_RESERVED];
115 region_t ui_reg = paddr_to_pptr_reg(ui_info.p_reg); in init_sys_state()
116 region_t boot_mem_reuse_reg = paddr_to_pptr_reg(boot_mem_reuse_p_reg); in init_sys_state()
179 region_t extra_bi_region = { in init_sys_state()
/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dvspace.h53 static const region_t BOOT_RODATA mode_reserved_region[] = {};
55 static const region_t BOOT_RODATA *mode_reserved_region = NULL;
/seL4-master/include/arch/arm/arch/32/mode/kernel/
A Dvspace.h65 static const region_t BOOT_RODATA mode_reserved_region[] = {

Completed in 13 milliseconds