#ifndef PORTS_H #define PORTS_H #include <stdint.h> extern void outb(uint16_t port, uint8_t val); extern uint8_t inb(uint16_t port); extern void outi(uint16_t port, uint32_t val); extern uint32_t ini(uint16_t port); extern void ioWait(); #endif