#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