| LIBRARY "winhvplatform.dll" |
| EXPORTS |
| WHvAcceptPartitionMigration |
| WHvAdviseGpaRange |
| WHvAllocateVpciResource |
| WHvCancelPartitionMigration |
| WHvCancelRunVirtualProcessor |
| WHvCompletePartitionMigration |
| WHvCreateNotificationPort |
| WHvCreatePartition |
| WHvCreateTrigger |
| WHvCreateVirtualProcessor |
| WHvCreateVirtualProcessor2 |
| WHvCreateVpciDevice |
| WHvDeleteNotificationPort |
| WHvDeletePartition |
| WHvDeleteTrigger |
| WHvDeleteVirtualProcessor |
| WHvDeleteVpciDevice |
| WHvGetCapability |
| WHvGetInterruptTargetVpSet |
| WHvGetPartitionCounters |
| WHvGetPartitionProperty |
| WHvGetVirtualProcessorCounters |
| WHvGetVirtualProcessorCpuidOutput |
| WHvGetVirtualProcessorInterruptControllerState |
| WHvGetVirtualProcessorInterruptControllerState2 |
| WHvGetVirtualProcessorRegisters |
| WHvGetVirtualProcessorState |
| WHvGetVirtualProcessorXsaveState |
| WHvGetVpciDeviceInterruptTarget |
| WHvGetVpciDeviceNotification |
| WHvGetVpciDeviceProperty |
| WHvMapGpaRange |
| WHvMapGpaRange2 |
| WHvMapVpciDeviceInterrupt |
| WHvMapVpciDeviceMmioRanges |
| WHvPostVirtualProcessorSynicMessage |
| WHvQueryGpaRangeDirtyBitmap |
| WHvReadGpaRange |
| WHvReadVpciDeviceRegister |
| WHvRegisterPartitionDoorbellEvent |
| WHvRequestInterrupt |
| WHvRequestVpciDeviceInterrupt |
| WHvResetPartition |
| WHvResumePartitionTime |
| WHvRetargetVpciDeviceInterrupt |
| WHvRunVirtualProcessor |
| WHvSetNotificationPortProperty |
| WHvSetPartitionProperty |
| WHvSetVirtualProcessorInterruptControllerState |
| WHvSetVirtualProcessorInterruptControllerState2 |
| WHvSetVirtualProcessorRegisters |
| WHvSetVirtualProcessorState |
| WHvSetVirtualProcessorXsaveState |
| WHvSetVpciDevicePowerState |
| WHvSetupPartition |
| WHvSignalVirtualProcessorSynicEvent |
| WHvStartPartitionMigration |
| WHvSuspendPartitionTime |
| WHvTranslateGva |
| WHvUnmapGpaRange |
| WHvUnmapVpciDeviceInterrupt |
| WHvUnmapVpciDeviceMmioRanges |
| WHvUnregisterPartitionDoorbellEvent |
| WHvUpdateTriggerParameters |
| WHvWriteGpaRange |
| WHvWriteVpciDeviceRegister |
