static void
host_reset_timer(void * vnet_timer, unsigned long interval){
- struct host_timer * timer = (struct host_timer *)timer;
+ struct host_timer * timer = (struct host_timer *)vnet_timer;
timer->interval = interval;
}
static void *
-host_allocate_pages(int num_pages, unsigned int alignment)
+host_allocate_pages(int num_pages, unsigned int alignment, int node_id)
{
// allocates pages preferentially on the caller's node
- return palacios_allocate_pages(num_pages, alignment, -1);
+ return palacios_allocate_pages(num_pages, alignment, node_id, 0, 0);
}
.timer_stop = host_stop_timer,
.timer_reset = host_reset_timer,
- .thread_start = palacios_start_kernel_thread,
+ .thread_start = palacios_create_and_start_kernel_thread,
.thread_sleep = host_kthread_sleep,
.thread_wakeup = host_kthread_wakeup,
.thread_stop = host_kthread_stop,