-/******* from helpers.c *******/
-#define buffered_port_h(p) \
- void outb_##p(u8 b); \
- void bset_##p(u8 mask); \
- void bclr_##p(u8 mask);
-
-void outb(u16 port, u8 byte);
-void bset(u16 addr, u8 mask);
-void bclr(u16 addr, u8 mask);
-
-buffered_port_h(3800);
-