Updates multiboot code for amd64
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 13 Jun 2013 23:44:25 +0000 (16:44 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 22 Jun 2013 17:29:30 +0000 (10:29 -0700)
The old version was 64-bit incompatible (assumed longs were 32 bits).
The FSF has a newer version anyway.

Note our old style of determining which memory to use only works for the
first 3GB or so of pmem (at least on my test machines).

kern/arch/x86/cpuinfo.c
kern/include/multiboot.h
kern/include/pmap.h
kern/include/ros/common.h
kern/src/init.c
kern/src/multiboot.c

index 1e81e20..013d844 100644 (file)
@@ -107,17 +107,9 @@ void print_cpuinfo(void)
        printk("\n");
        cpuid(0x80000008, 0x0, &eax, &ebx, &ecx, &edx);
        cprintf("Physical Address Bits: %d\n", eax & 0x000000FF);
-       cprintf("Cores per Die: %d\n", (ecx & 0x000000FF) + 1);
-    cprintf("This core's Default APIC ID: 0x%08x\n", lapic_get_default_id());
        msr_val = read_msr(IA32_APIC_BASE);
-       if (msr_val & MSR_APIC_ENABLE)
-               cprintf("Local APIC Enabled\n");
-       else
-               cprintf("Local APIC Disabled\n");
-       if (msr_val & 0x00000100)
-               cprintf("I am the Boot Strap Processor\n");
-       else
-               cprintf("I am an Application Processor\n");
+       if (!(msr_val & MSR_APIC_ENABLE))
+               panic("Local APIC Disabled!!");
        cpuid(0x80000007, 0x0, &eax, &ebx, &ecx, &edx);
        if (edx & 0x00000100)
                printk("Invariant TSC present\n");
index 8addb3e..4b55497 100644 (file)
 #ifndef ROS_INC_MULTIBOOT_H
 #define ROS_INC_MULTIBOOT_H
 
-#ifndef __ASSEMBLER__
-
 #include <ros/common.h>
 
-extern physaddr_t RO maxpa;        // Maximum physical address in the system
-extern physaddr_t RO maxaddrpa;    // Maximum addressable physical address
-extern void *SNT RO maxaddrpa_ptr; // same as maxaddrpa, but ptr type for annotations
-extern size_t RO npages;           // Total number of physical memory pages
-extern size_t RO naddrpages;       // Number of addressable physical memory pages
-
-#endif /* !__ASSEMBLER__ */
-
-     /* multiboot.h - the header for Multiboot */
-     /* Copyright (C) 1999, 2001  Free Software Foundation, Inc.
-     
-        This program is free software; you can redistribute it and/or modify
-        it under the terms of the GNU General Public License as published by
-        the Free Software Foundation; either version 2 of the License, or
-        (at your option) any later version.
-     
-        This program is distributed in the hope that it will be useful,
-        but WITHOUT ANY WARRANTY; without even the implied warranty of
-        MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-        GNU General Public License for more details.
-     
-        You should have received a copy of the GNU General Public License
-        along with this program; if not, write to the Free Software
-        Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
-     
-     /* Macros. */
-     
-     /* The magic number for the Multiboot header. */
-     #define MULTIBOOT_HEADER_MAGIC          0x1BADB002
-     
-     /* The flags for the Multiboot header. */
-     #ifdef __ELF__
-     # define MULTIBOOT_HEADER_FLAGS         0x00000003
-     #else
-     # define MULTIBOOT_HEADER_FLAGS         0x00010003
-     #endif
-     
-     /* The magic number passed by a Multiboot-compliant boot loader. */
-     #define MULTIBOOT_BOOTLOADER_MAGIC      0x2BADB002
-     
-     /* The size of our stack (16KB). */
-     #define STACK_SIZE                      0x4000
-     
-     /* C symbol format. HAVE_ASM_USCORE is defined by configure. */
-     #ifdef HAVE_ASM_USCORE
-     # define EXT_C(sym)                     _ ## sym
-     #else
-     # define EXT_C(sym)                     sym
-     #endif
-     
-     #ifndef ASM
-     /* Do not include here in boot.S. */
-     
-     /* Types. */
-     
-     /* The Multiboot header. */
-     typedef struct multiboot_header
-     {
-       unsigned long magic;
-       unsigned long flags;
-       unsigned long checksum;
-       unsigned long header_addr;
-       unsigned long load_addr;
-       unsigned long load_end_addr;
-       unsigned long bss_end_addr;
-       unsigned long entry_addr;
-     } multiboot_header_t;
-     
-     /* The symbol table for a.out. */
-     typedef struct aout_symbol_table
-     {
-       unsigned long tabsize;
-       unsigned long strsize;
-       unsigned long addr;
-       unsigned long reserved;
-     } aout_symbol_table_t;
-     
-     /* The section header table for ELF. */
-     typedef struct elf_section_header_table
-     {
-       unsigned long num;
-       unsigned long size;
-       unsigned long addr;
-       unsigned long shndx;
-     } elf_section_header_table_t;
-     
-     /* The Multiboot information. */
-     typedef struct multiboot_info
-     {
-       unsigned long flags;
-       unsigned long mem_lower;
-       unsigned long mem_upper;
-       unsigned long boot_device;
-       unsigned long cmdline;
-       unsigned long mods_count;
-       unsigned long mods_addr;
-       union
-       {
-         aout_symbol_table_t aout_sym;
-         elf_section_header_table_t elf_sec;
-       } u;
-       unsigned long mmap_length;
-       unsigned long mmap_addr;
-     } multiboot_info_t;
-     
-     /* The module structure. */
-     typedef struct module
-     {
-       unsigned long mod_start;
-       unsigned long mod_end;
-       unsigned long string;
-       unsigned long reserved;
-     } module_t;
-     
-     /* The memory map. Be careful that the offset 0 is base_addr_low
-        but no size. */
-     typedef struct memory_map
-     {
-       unsigned long size;
-       unsigned long base_addr_low;
-       unsigned long base_addr_high;
-       unsigned long length_low;
-       unsigned long length_high;
-       unsigned long type;
-     } memory_map_t;
-     
-     #endif /* ! ASM */
+extern physaddr_t maxpa;               /* Maximum physical address in the system */
+extern physaddr_t maxaddrpa;   /* Maximum addressable physical address */
+extern size_t npages;                  /* Total number of physical memory pages */
+extern size_t naddrpages;              /* num of addressable physical memory pages */
+
+/* multiboot.h - the header for Multiboot 0.6.96 (diff from MB2) */
+/* Copyright (C) 1999,2003,2007,2008,2009  Free Software Foundation, Inc.
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining a copy
+ *  of this software and associated documentation files (the "Software"), to
+ *  deal in the Software without restriction, including without limitation the
+ *  rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
+ *  sell copies of the Software, and to permit persons to whom the Software is
+ *  furnished to do so, subject to the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be included in
+ *  all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ *  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ *  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL ANY
+ *  DEVELOPER OR DISTRIBUTOR BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ *  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+ *  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
+ *  IN THE SOFTWARE.
+ */
+
+/* How many bytes from the start of the file we search for the header. */
+#define MULTIBOOT_SEARCH                        8192
+
+/* The magic field should contain this. */
+#define MULTIBOOT_HEADER_MAGIC                  0x1BADB002
+
+/* This should be in %eax. */
+#define MULTIBOOT_BOOTLOADER_MAGIC              0x2BADB002
+
+/* The bits in the required part of flags field we don't support. */
+#define MULTIBOOT_UNSUPPORTED                   0x0000fffc
+
+/* Alignment of multiboot modules. */
+#define MULTIBOOT_MOD_ALIGN                     0x00001000
+
+/* Alignment of the multiboot info structure. */
+#define MULTIBOOT_INFO_ALIGN                    0x00000004
+
+/* Flags set in the 'flags' member of the multiboot header. */
+
+/* Align all boot modules on i386 page (4KB) boundaries. */
+#define MULTIBOOT_PAGE_ALIGN                    0x00000001
+
+/* Must pass memory information to OS. */
+#define MULTIBOOT_MEMORY_INFO                   0x00000002
+
+/* Must pass video information to OS. */
+#define MULTIBOOT_VIDEO_MODE                    0x00000004
+
+/* This flag indicates the use of the address fields in the header. */
+#define MULTIBOOT_AOUT_KLUDGE                   0x00010000
+
+/* Flags to be set in the 'flags' member of the multiboot info structure. */
+
+/* is there basic lower/upper memory information? */
+#define MULTIBOOT_INFO_MEMORY                   0x00000001
+/* is there a boot device set? */
+#define MULTIBOOT_INFO_BOOTDEV                  0x00000002
+/* is the command-line defined? */
+#define MULTIBOOT_INFO_CMDLINE                  0x00000004
+/* are there modules to do something with? */
+#define MULTIBOOT_INFO_MODS                     0x00000008
+
+/* These next two are mutually exclusive */
+
+/* is there a symbol table loaded? */
+#define MULTIBOOT_INFO_AOUT_SYMS                0x00000010
+/* is there an ELF section header table? */
+#define MULTIBOOT_INFO_ELF_SHDR                 0X00000020
+
+/* is there a full memory map? */
+#define MULTIBOOT_INFO_MEM_MAP                  0x00000040
+
+/* Is there drive info? */
+#define MULTIBOOT_INFO_DRIVE_INFO               0x00000080
+
+/* Is there a config table? */
+#define MULTIBOOT_INFO_CONFIG_TABLE             0x00000100
+
+/* Is there a boot loader name? */
+#define MULTIBOOT_INFO_BOOT_LOADER_NAME         0x00000200
+
+/* Is there a APM table? */
+#define MULTIBOOT_INFO_APM_TABLE                0x00000400
+
+/* Is there video information? */
+#define MULTIBOOT_INFO_VIDEO_INFO               0x00000800
+
+#ifndef ASM_FILE
+
+typedef unsigned short          multiboot_uint16_t;
+typedef unsigned int            multiboot_uint32_t;
+typedef unsigned long long      multiboot_uint64_t;
+
+struct multiboot_header
+{
+       /* Must be MULTIBOOT_MAGIC - see above. */
+       multiboot_uint32_t magic;
+       
+       /* Feature flags. */
+       multiboot_uint32_t flags;
+       
+       /* The above fields plus this one must equal 0 mod 2^32. */
+       multiboot_uint32_t checksum;
+       
+       /* These are only valid if MULTIBOOT_AOUT_KLUDGE is set. */
+       multiboot_uint32_t header_addr;
+       multiboot_uint32_t load_addr;
+       multiboot_uint32_t load_end_addr;
+       multiboot_uint32_t bss_end_addr;
+       multiboot_uint32_t entry_addr;
+       
+       /* These are only valid if MULTIBOOT_VIDEO_MODE is set. */
+       multiboot_uint32_t mode_type;
+       multiboot_uint32_t width;
+       multiboot_uint32_t height;
+       multiboot_uint32_t depth;
+};
+
+/* The symbol table for a.out. */
+struct multiboot_aout_symbol_table
+{
+       multiboot_uint32_t tabsize;
+       multiboot_uint32_t strsize;
+       multiboot_uint32_t addr;
+       multiboot_uint32_t reserved;
+};
+typedef struct multiboot_aout_symbol_table multiboot_aout_symbol_table_t;
+
+/* The section header table for ELF. */
+struct multiboot_elf_section_header_table
+{
+       multiboot_uint32_t num;
+       multiboot_uint32_t size;
+       multiboot_uint32_t addr;
+       multiboot_uint32_t shndx;
+};
+typedef struct multiboot_elf_section_header_table
+        multiboot_elf_section_header_table_t;
+
+struct multiboot_info
+{
+       /* Multiboot info version number */
+       multiboot_uint32_t flags;
+       
+       /* Available memory from BIOS */
+       multiboot_uint32_t mem_lower;
+       multiboot_uint32_t mem_upper;
+       
+       /* "root" partition */
+       multiboot_uint32_t boot_device;
+       
+       /* Kernel command line */
+       multiboot_uint32_t cmdline;
+       
+       /* Boot-Module list */
+       multiboot_uint32_t mods_count;
+       multiboot_uint32_t mods_addr;
+       
+       union {
+               multiboot_aout_symbol_table_t aout_sym;
+               multiboot_elf_section_header_table_t elf_sec;
+       } u;
+       
+       /* Memory Mapping buffer */
+       multiboot_uint32_t mmap_length;
+       multiboot_uint32_t mmap_addr;
+       
+       /* Drive Info buffer */
+       multiboot_uint32_t drives_length;
+       multiboot_uint32_t drives_addr;
+       
+       /* ROM configuration table */
+       multiboot_uint32_t config_table;
+       
+       /* Boot Loader Name */
+       multiboot_uint32_t boot_loader_name;
+       
+       /* APM table */
+       multiboot_uint32_t apm_table;
+       
+       /* Video */
+       multiboot_uint32_t vbe_control_info;
+       multiboot_uint32_t vbe_mode_info;
+       multiboot_uint16_t vbe_mode;
+       multiboot_uint16_t vbe_interface_seg;
+       multiboot_uint16_t vbe_interface_off;
+       multiboot_uint16_t vbe_interface_len;
+};
+typedef struct multiboot_info multiboot_info_t;
+
+/* The memory map.  Be careful, the size value doesn't include itself... */
+struct multiboot_mmap_entry
+{
+       multiboot_uint32_t size;
+       multiboot_uint64_t addr;
+       multiboot_uint64_t len;
+#define MULTIBOOT_MEMORY_AVAILABLE              1
+#define MULTIBOOT_MEMORY_RESERVED               2
+       multiboot_uint32_t type;
+} __attribute__((packed));
+typedef struct multiboot_mmap_entry multiboot_memory_map_t;
+
+struct multiboot_mod_list
+{
+       /* the memory used goes from bytes 'mod_start' to 'mod_end-1' inclusive */
+       multiboot_uint32_t mod_start;
+       multiboot_uint32_t mod_end;
+       
+       /* Module command line */
+       multiboot_uint32_t cmdline;
+       
+       /* padding to take it to 16 bytes (must be zero) */
+       multiboot_uint32_t pad;
+};
+typedef struct multiboot_mod_list multiboot_module_t;
+
+#endif /* ! ASM_FILE */
 
+void mboot_detect_memory(multiboot_info_t *mbi);
+void mboot_print_mmap(multiboot_info_t *mbi);
 #endif /* !ROS_INC_MULTIBOOT_H */
index 6eea5c3..48d5f02 100644 (file)
@@ -61,8 +61,6 @@ extern pde_t *CT(NPDENTRIES) RO boot_pgdir;
 
 extern char *RO BND(end, maxaddrpa_ptr + IVY_KERNBASE) boot_freemem;
 
-void   multiboot_detect_memory(multiboot_info_t *COUNT(1) mbi);
-void   multiboot_print_memory_map(multiboot_info_t *COUNT(1) mbi);
 bool   enable_pse(void);
 void   vm_init(void);
 
index 77b03da..b600819 100644 (file)
@@ -12,8 +12,8 @@
 #include <stdbool.h>
 
 typedef uintptr_t physaddr_t;
-typedef ssize_t intreg_t;
-typedef size_t uintreg_t;
+typedef long intreg_t;
+typedef unsigned long uintreg_t;
 
 #ifndef NULL
 #define NULL ((void*) 0)
index 1a30fb5..86da899 100644 (file)
@@ -54,27 +54,16 @@ void kernel_init(multiboot_info_t *mboot_info)
 {
        extern char (RO BND(__this, end) edata)[], (RO SNT end)[];
 
-       // Before doing anything else, complete the ELF loading process.
-       // Clear the uninitialized global data (BSS) section of our program.
-       // This ensures that all static/global variables start out zero.
        memset(edata, 0, end - edata);
-
-       // Initialize the console.
-       // Can't call cprintf until after we do this!
        cons_init();
-
        print_cpuinfo();
 
-       // Old way, pre Zach's Ivy annotations
-       //multiboot_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
-       //multiboot_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
-       
-       // Paul: Can't use KADDR as arg to multiboot_detect_memory
-       //  since multiboot_detect_memory is what sets npages. 
-       //  Must simulate KADDR macro (ugly).
-       multiboot_detect_memory((multiboot_info_t*CT(1))TC((physaddr_t)mboot_info + KERNBASE));
-
-       multiboot_print_memory_map((multiboot_info_t*CT(1))KADDR((physaddr_t)mboot_info));
+       /* mboot_info is a physical address.  while some arches currently have the
+        * lower memory mapped, everyone should have it mapped at kernbase by now.
+        * also, it might be in 'free' memory, so once we start dynamically using
+        * memory, we may clobber it. */
+       mboot_detect_memory((multiboot_info_t*)((physaddr_t)mboot_info + KERNBASE));
+       mboot_print_mmap((multiboot_info_t*)((physaddr_t)mboot_info + KERNBASE));
 
        vm_init();                      // Sets up pages tables, turns on paging
        cache_init();                                   // Determine systems's cache properties
index fbd0737..2508cd0 100644 (file)
@@ -1,7 +1,9 @@
-#ifdef __SHARC__
-#pragma nosharc
-#define SINIT(x) x
-#endif
+/* Copyright (c) 2009,13 The Regents of the University of California
+ * Barret Rhoden <brho@cs.berkeley.edu>
+ * Kevin Klues <klueska@cs.berkeley.edu>
+ * See LICENSE for details. 
+ *
+ * Multiboot parsing. */
 
 #include <multiboot.h>
 #include <ros/common.h>
 #include <arch/apic.h>
 #endif
 
-// These variables are set by i386_detect_memory()
-physaddr_t RO maxpa;      // Maximum physical address in the system
-physaddr_t RO maxaddrpa;  // Maximum addressable physical address
-void *SNT RO maxaddrpa_ptr;
-size_t RO npages;         // Total number of physical memory pages
-size_t RO naddrpages;    // Number of addressable physical memory pages
+physaddr_t maxpa;              /* Maximum physical address in the system */
+physaddr_t maxaddrpa;  /* Maximum addressable physical address */
+size_t npages;                 /* Total number of physical memory pages */
+size_t naddrpages;             /* num of addressable physical memory pages */
 
-static size_t RO basemem;  // Amount of base memory (in bytes)
-static size_t RO extmem;   // Amount of extended memory (in bytes)
+static size_t basemem;  /* Amount of base memory (in bytes) */
+static size_t extmem;   /* Amount of extended memory (in bytes) */
 
-void
-multiboot_detect_memory(multiboot_info_t *mbi)
+/* This only notices bios detectable memory - there's a lot more in the higher
+ * paddrs. */
+void mboot_detect_memory(multiboot_info_t *mbi)
 {
-       // Tells us how many kilobytes there are
-       size_t b = ROUNDDOWN(mbi->mem_lower*1024, PGSIZE);
-       size_t e = ROUNDDOWN(mbi->mem_upper*1024, PGSIZE);
-       basemem = SINIT(b);
-       extmem = SINIT(e);
-
-       // Calculate the maximum physical address based on whether
-       // or not there is any extended memory.  See comment in <inc/memlayout.h>
+       if (!(mbi->flags & MULTIBOOT_INFO_MEMORY)) {
+               printk("No BIOS memory info from multiboot, crash impending!\n");
+               return;
+       }
+       /* mem_lower and upper are measured in KB.  They are 32 bit values, so we're
+        * limited to 4TB total. */
+       size_t basemem = ROUNDDOWN((size_t)mbi->mem_lower * 1024, PGSIZE);
+       size_t extmem = ROUNDDOWN((size_t)mbi->mem_upper * 1024, PGSIZE);
+       /* Calculate the maximum physical address based on whether or not there is
+        * any extended memory. */
        if (extmem)
-               maxpa = SINIT(EXTPHYSMEM + extmem);
+               maxpa = EXTPHYSMEM + extmem;
        else
-               maxpa = SINIT(basemem);
-
-       npages = SINIT(maxpa / PGSIZE);
-
+               maxpa = basemem;
+       npages = maxpa / PGSIZE;
        /* KERN_VMAP_TOP - KERNBASE is the max amount of virtual addresses we can
         * use for the physical memory mapping (aka - the KERNBASE mapping) */
-       maxaddrpa = SINIT(MIN(maxpa, KERN_VMAP_TOP - KERNBASE));
-       maxaddrpa_ptr = SINIT((void *SNT)maxaddrpa);
-
-       naddrpages = SINIT(maxaddrpa / PGSIZE);
-
-       cprintf("Physical memory: %dK available, ", (int)(maxpa/1024));
-       cprintf("base = %dK, extended = %dK\n", (int)(basemem/1024), (int)(extmem/1024));
-       printk("Maximum directly addressable physical memory: %dK\n", (int)(maxaddrpa/1024));
+       maxaddrpa = MIN(maxpa, KERN_VMAP_TOP - KERNBASE);
+       naddrpages = maxaddrpa / PGSIZE;
+       printk("Physical memory: %luK available, ", maxpa / 1024);
+       printk("base = %luK, extended = %luK\n", basemem / 1024, extmem / 1024);
+       printk("Maximum directly addressable physical memory: %luK\n",
+              maxaddrpa / 1024);
 }
 
-void multiboot_print_memory_map(multiboot_info_t *mbi)
+/* TODO: Use the info from this for our free pages, instead of just using
+ * the extended memory */
+void mboot_print_mmap(multiboot_info_t *mbi)
 {
-       if(CHECK_FLAG(mbi->flags, 6)) {
-               memory_map_t *SNT mmap_b =
-                       (memory_map_t *SNT)(mbi->mmap_addr + KERNBASE);
-               memory_map_t *SNT mmap_e =
-                       (memory_map_t *SNT)(mbi->mmap_addr + KERNBASE + mbi->mmap_length);
-               memory_map_t *BND(mmap_b, mmap_e) mmap = TC(mmap_b);
-               printk("mmap_addr = 0x%x, mmap_length = 0x%x\n",
-                      (unsigned long)mbi->mmap_addr, (unsigned long)mbi->mmap_length);
-               while(mmap < mmap_e) {
-                       printk("base = 0x%08x%08x, length = 0x%08x%08x, type = %s\n",
-                              (unsigned) mmap->base_addr_high,
-                              (unsigned) mmap->base_addr_low,
-                              (unsigned) mmap->length_high,
-                              (unsigned) mmap->length_low,
-                              mmap->type == 1 ? "FREE" : "RESERVED");
-                       mmap = (memory_map_t *BND(mmap_b,mmap_e))((char *BND(mmap_b,mmap_e))mmap + mmap->size + sizeof(mmap->size));
-               }
+       multiboot_memory_map_t *mmap_b, *mmap_e, *mmap_i;
+       if (!(mbi->flags & MULTIBOOT_INFO_ELF_SHDR)) {
+               printk("No memory mapping info from multiboot\n");
+               return;
+       }
+       mmap_b = (multiboot_memory_map_t*)((size_t)mbi->mmap_addr + KERNBASE);
+       mmap_e = (multiboot_memory_map_t*)((size_t)mbi->mmap_addr + KERNBASE
+                                          + mbi->mmap_length);
+       printd("mmap_addr = %p, mmap_length = %p\n", mbi->mmap_addr,
+              mbi->mmap_length);
+       printd("mmap_b %p, mmap_e %p\n", mmap_b, mmap_e);
+       /* Note when we incremement mmap_i, we add in the value of size... */
+       for (mmap_i = mmap_b;
+            mmap_i < mmap_e;
+            mmap_i = (multiboot_memory_map_t*)((void*)mmap_i + mmap_i->size
+                                               + sizeof(mmap_i->size))) {
+               printk("base = 0x%016llx, length = 0x%016llx : %s\n",
+                      mmap_i->addr, mmap_i->len,
+                      mmap_i->type == MULTIBOOT_MEMORY_AVAILABLE ? "FREE" :
+                                                                   "RESERVED");
        }
 }