#ifndef __8259A_H
#define __8259A_H

#include <palacios/vm_dev.h>


struct vm_device * create_pic();


#endif