1#include "func.def.in"
 2
 3LIBRARY "winhvplatform.dll"
 4EXPORTS
 5WHvAcceptPartitionMigration
 6WHvAdviseGpaRange
 7WHvAllocateVpciResource
 8WHvCancelPartitionMigration
 9WHvCancelRunVirtualProcessor
10WHvCompletePartitionMigration
11WHvCreateNotificationPort
12WHvCreatePartition
13WHvCreateTrigger
14WHvCreateVirtualProcessor
15WHvCreateVirtualProcessor2
16WHvCreateVpciDevice
17WHvDeleteNotificationPort
18WHvDeletePartition
19WHvDeleteTrigger
20WHvDeleteVirtualProcessor
21WHvDeleteVpciDevice
22WHvGetCapability
23F_X64(WHvGetInterruptTargetVpSet)
24WHvGetPartitionCounters
25WHvGetPartitionProperty
26WHvGetVirtualProcessorCounters
27F_X64(WHvGetVirtualProcessorCpuidOutput)
28F_X64(WHvGetVirtualProcessorInterruptControllerState)
29F_X64(WHvGetVirtualProcessorInterruptControllerState2)
30WHvGetVirtualProcessorRegisters
31WHvGetVirtualProcessorState
32F_X64(WHvGetVirtualProcessorXsaveState)
33WHvGetVpciDeviceInterruptTarget
34WHvGetVpciDeviceNotification
35WHvGetVpciDeviceProperty
36WHvMapGpaRange
37WHvMapGpaRange2
38WHvMapVpciDeviceInterrupt
39WHvMapVpciDeviceMmioRanges
40WHvPostVirtualProcessorSynicMessage
41WHvQueryGpaRangeDirtyBitmap
42WHvReadGpaRange
43WHvReadVpciDeviceRegister
44WHvRegisterPartitionDoorbellEvent
45WHvRequestInterrupt
46WHvRequestVpciDeviceInterrupt
47WHvResetPartition
48WHvResumePartitionTime
49WHvRetargetVpciDeviceInterrupt
50WHvRunVirtualProcessor
51WHvSetNotificationPortProperty
52WHvSetPartitionProperty
53F_X64(WHvSetVirtualProcessorInterruptControllerState)
54F_X64(WHvSetVirtualProcessorInterruptControllerState2)
55WHvSetVirtualProcessorRegisters
56WHvSetVirtualProcessorState
57F_X64(WHvSetVirtualProcessorXsaveState)
58WHvSetVpciDevicePowerState
59WHvSetupPartition
60WHvSignalVirtualProcessorSynicEvent
61WHvStartPartitionMigration
62WHvSuspendPartitionTime
63WHvTranslateGva
64WHvUnmapGpaRange
65WHvUnmapVpciDeviceInterrupt
66WHvUnmapVpciDeviceMmioRanges
67WHvUnregisterPartitionDoorbellEvent
68WHvUpdateTriggerParameters
69WHvWriteGpaRange
70WHvWriteVpciDeviceRegister