Remove the BUILD_INFO_FILE variable
[akaros.git] / kern / arch / riscv / page_alloc.c
index d76734d..111e977 100644 (file)
@@ -1,17 +1,9 @@
-/* Copyright (c) 2009 The Regents of the University  of California. 
- * See the COPYRIGHT files at the top of this source tree for full 
+/* Copyright (c) 2009 The Regents of the University  of California.
+ * See the COPYRIGHT files at the top of this source tree for full
  * license information.
- * 
- * Kevin Klues <klueska@cs.berkeley.edu>    
+ *
+ * Kevin Klues <klueska@cs.berkeley.edu>
  */
-#ifdef __SHARC__
-#pragma nosharc
-#endif
-
-#ifdef __DEPUTY__
-#pragma nodeputy
-#endif
 
 #include <sys/queue.h>
 #include <page_alloc.h>
@@ -26,8 +18,8 @@ spinlock_t colored_page_free_list_lock = SPINLOCK_INITIALIZER_IRQSAVE;
 /*
  * Initialize the memory free lists.
  * After this point, ONLY use the functions below
- * to allocate and deallocate physical memory via the 
- * page_free_lists. 
+ * to allocate and deallocate physical memory via the
+ * page_free_lists.
  */
 void page_alloc_init(struct multiboot_info *mbi)
 {
@@ -38,8 +30,8 @@ void page_alloc_init(struct multiboot_info *mbi)
 
        size_t num_colors = llc_cache->num_colors;
        for (size_t i = 0; i < num_colors; i++)
-               LIST_INIT(&lists[i]);
-       
+               BSD_LIST_INIT(&lists[i]);
+
        uintptr_t first_free_page = ROUNDUP(boot_freemem, PGSIZE);
        uintptr_t first_invalid_page = LA2PPN(boot_freelimit);
        assert(first_invalid_page == max_nr_pages);
@@ -47,12 +39,13 @@ void page_alloc_init(struct multiboot_info *mbi)
        // mark kernel pages as in-use
        for (uintptr_t page = 0; page < first_free_page; page++)
                page_setref(&pages[page], 1);
-       
+
        // append other pages to the free lists
        for (uintptr_t page = first_free_page; page < first_invalid_page; page++)
        {
                page_setref(&pages[page], 0);
-               LIST_INSERT_HEAD(&lists[page & (num_colors-1)], &pages[page], pg_link);
+               BSD_LIST_INSERT_HEAD(&lists[page & (num_colors-1)], &pages[page],
+                                    pg_link);
        }
        nr_free_pages = first_invalid_page - first_free_page;