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