initterm-r0drv-linux.c revision 2b80aa00cbee106b9ec709660eadb6f59f4ca121
d7097a142464c500766b2cb3d564986e0a072799vboxsync * InnoTek Portable Runtime - Initialization & Termination, R0 Driver, Linux.
d7097a142464c500766b2cb3d564986e0a072799vboxsync * Copyright (C) 2006 InnoTek Systemberatung GmbH
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * available from http://www.virtualbox.org. This file is free software;
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * you can redistribute it and/or modify it under the terms of the GNU
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * General Public License as published by the Free Software Foundation,
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * in version 2 as it comes in the "COPYING" file of the VirtualBox OSE
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * distribution. VirtualBox OSE is distributed in the hope that it will
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * be useful, but WITHOUT ANY WARRANTY of any kind.
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * If you received this file as part of a commercial VirtualBox
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * distribution, then only the terms of your commercial VirtualBox
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync * license agreement apply instead of the previous paragraph.
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync/*******************************************************************************
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync* Header Files *
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync*******************************************************************************/
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync/*******************************************************************************
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync* Internal Functions *
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsync*******************************************************************************/
b4aee06a140a74517eedd6e55625cb88bd7b3d87vboxsyncextern void rtR0MemExecCleanup(void);