HelenOS sources

pio_map           178 kernel/genarch/src/drivers/ns16550/ns16550.c 	ioport8_t *dev = pio_map((void *) dev_phys, size);
pio_map            67 kernel/generic/include/ddi/ddi.h extern void *pio_map(void *, size_t);