#include <palacios/8259a.h>
#include <palacios/vmm.h>



static const uint_t PIC1_PORT_1 0x20;
static const uint_t PIC1_PORT_2 0x21;
static const uint_t PIC2_PORT_1 0xA0;
static const uint_t PIC2_PORT_2 0xA1;