/* 
 * This file is part of the Palacios Virtual Machine Monitor developed
 * by the V3VEE Project with funding from the United States National 
 * Science Foundation and the Department of Energy.  
 *
 * The V3VEE Project is a joint project between Northwestern University
 * and the University of New Mexico.  You can find out more at 
 * http://www.v3vee.org
 *
 * Copyright (c) 2011, Lei Xia <lxia@northwestern.edu> 
 * Copyright (c) 2011, The V3VEE Project <http://www.v3vee.org> 
 * All rights reserved.
 *
 * Author: Lei Xia <lxia@northwestern.edu>
 *
 * This is free software.  You are permitted to use,
 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
 */
 
#include <vnet/vnet_host.h>
#include <vnet/vnet.h>

struct vnet_host_hooks * host_hooks;

struct vnet_thread * vnet_start_thread(int (*func)(void *), void *arg, char * name){
    if((host_hooks) && host_hooks->thread_start){

    	struct vnet_thread * thread = Vnet_Malloc(sizeof(struct vnet_thread));

	if (!thread) {
	    PrintError(VM_NONE, VCORE_NONE, "Cannot allocate space to create a vnet thread\n");
	    return NULL;
	}

    	thread->host_thread = host_hooks->thread_start(func, arg, name, 0);

    	if(thread->host_thread){
	    return thread;
     	}
	Vnet_Free(thread);
    }

    return NULL;
}


struct vnet_timer * vnet_create_timer(unsigned long interval, 
				      void (* timer_fun)(void * priv_data), 
				      void * priv_data){
    if((host_hooks) && host_hooks->timer_create){
	struct vnet_timer * timer = Vnet_Malloc(sizeof(struct vnet_timer));

	if (!timer) {
	    PrintError(VM_NONE, VCORE_NONE, "Cannot allocate space to create a vnet timer\n");
	    return NULL;
	}

	timer->host_timer = host_hooks->timer_create(interval, timer_fun, priv_data);

	return timer;
    }

    return NULL;
 }


void init_vnet(struct vnet_host_hooks * hooks){
    host_hooks = hooks;
    v3_init_vnet();
}


void deinit_vnet(){
    v3_deinit_vnet();
    //    host_hooks = NULL;
}