src/kernel/boot.c

28     /* Walk through reserved regions and see if any can be merged */
30         if (ndks_boot.reserved[i - 1].end == ndks_boot.reserved[i].start) {
32             ndks_boot.reserved[i - 1].end = ndks_boot.reserved[i].end;
35                 ndks_boot.reserved[j - 1] = ndks_boot.reserved[j];
57         if (ndks_boot.reserved[i].start == reg.end) {
58             ndks_boot.reserved[i].start = reg.start;
62         if (ndks_boot.reserved[i].end == reg.start) {
63             ndks_boot.reserved[i].end = reg.end;
68         if (ndks_boot.reserved[i].start > reg.end) {
71                 printf("Can't mark region 0x%lx-0x%lx as reserved, try increasing MAX_NUM_RESV_REG (currently %d)\n",
76                 ndks_boot.reserved[j] = ndks_boot.reserved[j - 1];
79             ndks_boot.reserved[i] = reg;
86         printf("Can't mark region 0x%lx-0x%lx as reserved, try increasing MAX_NUM_RESV_REG (currently %d)\n",
91     ndks_boot.reserved[i] = reg;
626         if (start < ndks_boot.reserved[i].start) {
628                 start, ndks_boot.reserved[i].start
635         start = ndks_boot.reserved[i].end;
707                             word_t n_reserved, region_t *reserved,
710     /* Force ordering and exclusivity of reserved regions */
712         assert(reserved[i].start <= reserved[i].end);
713         assert(reserved[i].end <= reserved[i + 1].start);
736     /* Now iterate through the available regions, removing any reserved regions. */
738         if (reserved[r].start == reserved[r].end) {
739             /* reserved region is empty - skip it */
744         } else if (reserved[r].end <= avail_reg[a].start) {
745             /* the reserved region is below the available region - skip it*/
746             reserve_region(pptr_to_paddr_reg(reserved[r]));
748         } else if (reserved[r].start >= avail_reg[a].end) {
749             /* the reserved region is above the available region - take the whole thing */
753             /* the reserved region overlaps with the available region */
754             if (reserved[r].start <= avail_reg[a].start) {
757                 avail_reg[a].start = MIN(avail_reg[a].end, reserved[r].end);
758                 reserve_region(pptr_to_paddr_reg(reserved[r]));
761                 assert(reserved[r].start < avail_reg[a].end);
763                  * the start to the end of the reserved region */
765                 m.end = reserved[r].start;
767                 if (avail_reg[a].end > reserved[r].end) {
768                     avail_reg[a].start = reserved[r].end;
769                     reserve_region(pptr_to_paddr_reg(reserved[r]));
779         if (reserved[r].start < reserved[r].end) {
780             reserve_region(pptr_to_paddr_reg(reserved[r]));
784     /* no more reserved regions - add the rest */