; $Id: VBoxSVGA.def $
;; @file
; Linker defintion file for the VBoxSVGA hardware driver.
;

;
; Copyright (C) 2016-2023 Oracle and/or its affiliates.
;
; This file is part of VirtualBox base platform packages, as
; available from https://www.virtualbox.org.
;
; This program is free software; you can redistribute it and/or
; modify it under the terms of the GNU General Public License
; as published by the Free Software Foundation, in version 3 of the
; License.
;
; This program is distributed in the hope that it will be useful, but
; WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
; General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with this program; if not, see <https://www.gnu.org/licenses>.
;
; SPDX-License-Identifier: GPL-3.0-only
;

LIBRARY VBOXSVGA

EXPORTS
        GaDrvScreenCreate              @1
        GaDrvScreenDestroy             @2
        GaDrvGetWDDMEnv                @3
        GaDrvGetContextId              @4
        GaDrvGetSurfaceId              @5
        GaDrvContextFlush              @6