#ifndef PIC_HPP
#define PIC_HPP

#include <cstdint>

/* reinitialize the PIC controllers, giving them specified vector offsets
   rather than 8h and 70h, as configured by default */
void pic_initialize();
void pic_eoi(std::uint8_t irq);

#endif // PIC_HPP