;; @file
; VMM Guest Context DLL - Definition file.

;
; Copyright (C) 2006 InnoTek Systemberatung GmbH
;
; This file is part of VirtualBox Open Source Edition (OSE), as
; available from http://www.virtualbox.org. This file 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 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.
;
; If you received this file as part of a commercial VirtualBox
; distribution, then only the terms of your commercial VirtualBox
; license agreement apply instead of the previous paragraph.
;

LIBRARY VMMGC.gc
EXPORTS
    ; data

    ; code
    AssertMsg1
    AssertMsg2
    CPUMGCResumeGuest
    CPUMGCResumeGuestV86
    PDMCritSectEnter
    PDMCritSectLeave
    PDMQueueAlloc
    PDMQueueFlush
    PDMQueueInsert
    PGMHandlerPhysicalPageTempOff
    PGMShwModifyPage
    RTLogDefaultInstance
    RTLogRelDefaultInstance
    RTTimeMilliTS
    SELMGetHyperCS
    TMTimerGet
    TMTimerGetFreq
    TMTimerIsActive
    TMTimerSet
    TMTimerSetMillies
    TMTimerStop
    TRPMGCHandlerGeneric
    TRPMGCHandlerInterupt
    TRPMGCHandlerTrap08
    TRPMGCHandlerTrap12
    MMGCRamWriteNoTrapHandler
    MMGCRamReadNoTrapHandler
    vmmGCLoggerFlush
    vmmGCLoggerWrapper
    vmmGCRelLoggerWrapper
    vmmGCTestTrap0d_FaultEIP
    vmmGCTestTrap0e_FaultEIP
    vmmGCTestTrap3_FaultEIP
    vmmGCTestTrap8_FaultEIP
    VMSetError
    VMSetErrorV

    ; runtime
    memset
    memcpy
    memchr
    memcmp