Convert run_once() to parlib_run_once() (XCC)
[akaros.git] / user / vmm / coreboot_table.c
index b6ccc4b..9b13d6f 100644 (file)
@@ -19,7 +19,7 @@
  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
  * MA 02110-1301 USA
  */
  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
  * MA 02110-1301 USA
  */
-#include <ros/common.h>
+#include <parlib/common.h>
 
 #include <stdio.h>
 #include <stdarg.h>
 
 #include <stdio.h>
 #include <stdarg.h>
@@ -302,6 +302,11 @@ void * write_coreboot_table(void *where, void *base, uint64_t len)
        head = lb_table_init(where);
        m = lb_memory(head);
        mem = (void *)(&m[1]);
        head = lb_table_init(where);
        m = lb_memory(head);
        mem = (void *)(&m[1]);
+       mem->start = pack_lb64((uint64_t) 0);
+       mem->size = pack_lb64((uint64_t) base-1);
+       mem->type = LB_MEM_RESERVED;
+       m->size += sizeof(*mem);
+       mem = (void *)(&mem[1]);
        mem->start = pack_lb64((uint64_t) base);
        mem->size = pack_lb64((uint64_t) len);
        mem->type = LB_MEM_RAM;
        mem->start = pack_lb64((uint64_t) base);
        mem->size = pack_lb64((uint64_t) len);
        mem->type = LB_MEM_RAM;