/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */

#ifndef __SIMPLE_PIC_H
#define __SIMPLE_PIC_H
#include <palacios/vm_dev.h>

struct vm_device * create_simple_pic();

#endif