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 Dhardware.h32 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 Dmachine.h29 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 Dbasic_types.h26 } 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 Dhardware.c24 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 Dboot_sys.h14 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 Dboot.h17 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 Dhardware.c43 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 Dmachine.h17 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 Dboot.h33 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 Dmachine.h221 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 Dhardware.c24 if (!reserve_region((p_region_t) {
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c203 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 Dboot.c45 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 Dboot_sys.c148 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 Dboot.c88 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 Dvspace.c139 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 Dboot.c46 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