DevVGA-SVGA.h revision 3194da424708abdd288b28d96892b3a5f3f7df0b
/** @file
* VMware SVGA device
*/
/*
* Copyright (C) 2013 Oracle Corporation
*
* This file is part of VirtualBox Open Source Edition (OSE), as
* available from http://www.virtualbox.org. This file is free software;
* General Public License (GPL) as published by the Free Software
* Foundation, in version 2 as it comes in the "COPYING" file of the
* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
*/
#ifndef __DEVVGA_SVGA_H__
#define __DEVVGA_SVGA_H__
/** Default FIFO size. */
#define VMSVGA_FIFO_SIZE 0x20000
/** Default scratch region size. */
#define VMSVGA_SCRATCH_SIZE 0x100
/** Surface memory available to the guest. */
/** Maximum GMR pages. */
#define VMSVGA_MAX_GMR_PAGES 0x100000
/** Maximum nr of GMR ids. */
#define VMSVGA_MAX_GMR_IDS 0x100
/** Size of the region to backup when switching into svga mode. */
#define VMSVGA_VAL_UNINITIALIZED (unsigned)-1
/* u32ActionFlags */
#define VMSVGA_ACTION_CHANGEMODE_BIT 0
DECLCALLBACK(int) vmsvgaR3IORegionMap(PPCIDEVICE pPciDev, int iRegion, RTGCPHYS GCPhysAddress, uint32_t cb, PCIADDRESSSPACE enmType);
DECLCALLBACK(void) vmsvgaPortSetViewPort(PPDMIDISPLAYPORT pInterface, uint32_t uScreenId, uint32_t x, uint32_t y, uint32_t cx, uint32_t cy);
#endif /* __DEVVGA_SVGA_H__ */