#include <lib/stdint.h>

inline void outb(uint16_t port, uint8_t b);
inline uint8_t inb(uint16_t port);