2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2011, Lei Xia <lxia@northwestern.edu>
11 * Copyright (c) 2011, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Lei Xia <lxia@northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #ifndef __VNET_INTERFACE_H__
21 #define __VNET_INTERFACE_H__
26 v3_thread * v3_thread_create(int (*func)(void *), void *arg, char * name);
27 void v3_thread_sleep(int cond);
28 void v3_thread_wakeup(v3_thread *);
29 void v3_thread_kill(v3_thread *);
30 void v3_thread_stop(v3_thread *);
31 void v3_thread_continue(v3_thread *);
34 // I know there is timer in palacios, but it has to be binded to specific VM, and the granularity is not
36 // I need a timer that is global, not related to any specific VM, and also fine-granularity
37 v3_timer * v3_create_timer(int interval /*in us*/, void (*timer_fun)(uint64_t eclipsed_cycles, void * priv_data), void * pri_data);
38 int v3_del_timer(v3_timer *);
39 int v3_start_timer(v3_timer *);
40 int v3_stop_timer(v3_timer *);