/* Northwestern University */
/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */

#ifndef __TIMER_H
#define __TIMER_H

#include <palacios/vm_dev.h>



struct vm_device * create_timer();




#endif