/* 
 * 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".
 */

#ifndef __VNET_INTERFACE_H__
#define __VNET_INTERFACE_H__

struct v3_thread {
};

v3_thread * v3_thread_create(int (*func)(void *), void *arg, char * name);
void v3_thread_sleep(int cond);
void v3_thread_wakeup(v3_thread *);
void v3_thread_kill(v3_thread *);
void v3_thread_stop(v3_thread *);
void v3_thread_continue(v3_thread *);

void udelay(unsigned long usecs);

// I know there is timer in palacios, but it has to be binded to specific VM, and the granularity is not
// guaranteed
// I need a timer that is global, not related to any specific VM, and also fine-granularity
v3_timer * v3_create_timer(int interval /*in us*/, void (*timer_fun)(uint64_t eclipsed_cycles, void * priv_data), void * pri_data);
int v3_del_timer(v3_timer *);
int v3_start_timer(v3_timer *);
int v3_stop_timer(v3_timer *);


#endif