khypervisor: vdev/vdev_timer.h Source File

Go to the documentation of this file.

00001 #ifndef __VDEV_TIMER_H__
00002 #define __VDEV_TIMER_H__
00003 
00004 #include <vdev.h>
00005 
00006 hvmm_status_t vdev_timer_init( uint32_t base_addr );
00007 typedef void (*vtimer_changed_status_callback_t)(vmid_t vmid, uint32_t status);
00008 
00009 void vtimer_set_callback_chagned_status(vtimer_changed_status_callback_t callback);
00010 
00011 
00012 #endif