#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); #endif