#include <linux/timer.h>
#include <vnet/vnet.h>
-#include "mm.h"
#include "palacios.h"
+#include "mm.h"
#include "palacios-vnet.h"
#include "linux-exts.h"
}
+static void *
+host_allocate_pages(int num_pages, unsigned int alignment, int node_id, int constraint)
+{
+ // allocates pages preferentially on the caller's node
+ return palacios_allocate_pages(num_pages, alignment, node_id, constraint);
+}
.mutex_lock_irqsave = palacios_mutex_lock_irqsave,
.mutex_unlock_irqrestore = palacios_mutex_unlock_irqrestore,
- .print = palacios_print,
- .allocate_pages = palacios_allocate_pages,
+ .print = palacios_print_scoped,
+ .allocate_pages = host_allocate_pages,
.free_pages = palacios_free_pages,
.malloc = palacios_alloc,
.free = palacios_free,