2 * The PCI Library -- Access to i386 I/O ports on GNU Hurd
4 * Copyright (c) 2003 Marco Gerards <metgerards@student.han.nl>
5 * Copyright (c) 2003 Martin Mares <mj@ucw.cz>
7 * Can be freely distributed and used under the terms of the GNU GPL.
19 intel_cleanup_io(void)