69 lines
1.8 KiB
Modula-2
69 lines
1.8 KiB
Modula-2
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
|