#ifndef __8254_H
#define __8254_H

#include <palacios/vm_dev.h>



struct vm_device * create_pit();





#endif