1 /** 2 * \file 3 * \brief Port I/O functions. 4 */ 5 /* 6 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de> 7 * economic rights: Technische Universität Dresden (Germany) 8 * This file is part of TUD:OS and distributed under the terms of the 9 * GNU Lesser General Public License 2.1. 10 * Please see the COPYING-LGPL-2.1 file for details. 11 */ 12 #include <x86/l4/util/port_io.h> 13