Lines Matching refs:reserved
43 BOOT_DATA static region_t reserved[MAX_RESERVED];
48 reserved[0].start = KERNEL_ELF_BASE;
49 reserved[0].end = (pptr_t)ki_end;
54 reserved[index].start = (pptr_t) paddr_to_pptr(dtb_p_reg.start);
55 reserved[index].end = (pptr_t) paddr_to_pptr(dtb_p_reg.end);
68 reserved[index] = mode_reserved_region[0];
70 reserved[index].start = ui_reg.start;
71 reserved[index].end = ui_reg.end;
73 reserved[index].start = ui_reg.start;
74 reserved[index].end = ui_reg.end;
76 reserved[index] = mode_reserved_region[0];
80 reserved[index].start = ui_reg.start;
81 reserved[index].end = ui_reg.end;
85 reserved[index] = mode_reserved_region[0];
89 init_freemem(get_num_avail_p_regs(), get_avail_p_regs(), index, reserved, it_v_reg, extra_bi_size_bits);