+++ /dev/null
-/*
- * 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_HOST_INTERFACE_H__
-#define __VNET_HOST_INTERFACE_H__
-
-struct vnet_thread {
- void * host_thread;
- void * data;
-};
-
-struct vnet_timer {
- void * host_timer;
- void * data;
-};
-
-struct vnet_thread * vnet_thread_create(int (*func)(void *), void *arg, char * name);
-void vnet_thread_sleep(int cond);
-void vnet_thread_wakeup(struct vnet_thread *);
-void vnet_thread_kill(struct vnet_thread *);
-void vnet_thread_stop(struct vnet_thread *);
-void vnet_thread_continue(struct vnet_thread *);
-
-void vnet_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
-struct vnet_timer * vnet_create_timer(int interval /*in us*/, void (*timer_fun)(uint64_t eclipsed_cycles, void * priv_data), void * pri_data);
-int vnet_del_timer(struct vnet_timer *);
-int vnet_start_timer(struct vnet_timer *);
-int vnet_stop_timer(struct vnet_timer *);
-
-
-#endif
-
-