PS2Dev.h revision e03868ae7d2681b60b9b9dfc72c2624c7b522ae8
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * PS/2 devices - Internal header file.
87996e40d776329474cd0944fdae65ef84c0876avboxsync * Copyright (C) 2007-2012 Oracle Corporation
87996e40d776329474cd0944fdae65ef84c0876avboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * available from http://www.virtualbox.org. This file is free software;
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * you can redistribute it and/or modify it under the terms of the GNU
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * General Public License (GPL) as published by the Free Software
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
5f9dfb422a6ed57822f9c0cb94fa7df8d24acc9bvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#ifndef IN_PS2K
typedef struct PS2K {
} PS2K;
} xlat_state_t;