Actually inline port I/O functions