1@ fastcall -arch=arm ExAcquireFastMutex(ptr) 2@ fastcall -arch=arm ExReleaseFastMutex(ptr) 3@ fastcall -arch=arm ExTryToAcquireFastMutex(ptr) 4@ fastcall -arch=i386 ExAcquireFastMutex(ptr) ntoskrnl.ExiAcquireFastMutex 5@ fastcall -arch=i386 ExReleaseFastMutex(ptr) ntoskrnl.ExiReleaseFastMutex 6@ fastcall -arch=i386 ExTryToAcquireFastMutex(ptr) ntoskrnl.ExiTryToAcquireFastMutex 7@ stdcall HalAcquireDisplayOwnership(ptr) 8@ stdcall HalAdjustResourceList(ptr) 9@ stdcall HalAllocateAdapterChannel(ptr ptr long ptr) 10@ stdcall HalAllocateCommonBuffer(ptr long ptr long) 11@ stdcall HalAllocateCrashDumpRegisters(ptr ptr) 12@ stdcall HalAllProcessorsStarted() 13@ stdcall HalAssignSlotResources(ptr ptr ptr ptr long long long ptr) 14@ stdcall -arch=i386,arm HalBeginSystemInterrupt(long long ptr) 15@ stdcall HalCalibratePerformanceCounter(ptr long long) 16;@ stdcall -arch=x86_64 HalCallBios() 17@ fastcall HalClearSoftwareInterrupt(long) 18@ stdcall HalDisableSystemInterrupt(long long) 19@ stdcall HalDisplayString(str) 20@ stdcall HalEnableSystemInterrupt(long long long) 21@ stdcall -arch=i386,arm HalEndSystemInterrupt(long long) 22@ stdcall HalFlushCommonBuffer(long long long long long) 23@ stdcall HalFreeCommonBuffer(ptr long long long ptr long) 24@ stdcall HalGetAdapter(ptr ptr) 25@ stdcall HalGetBusData(long long long ptr long) 26@ stdcall HalGetBusDataByOffset(long long long ptr long long) 27@ stdcall HalGetEnvironmentVariable(str long str) 28@ fastcall -arch=arm HalGetInterruptSource() 29@ stdcall HalGetInterruptVector(long long long long ptr ptr) 30;@ stdcall -arch=x86_64 HalHandleMcheck() 31@ stdcall -arch=i386,x86_64 HalHandleNMI(ptr) 32@ stdcall HalInitializeProcessor(long ptr) 33@ stdcall HalInitSystem(long ptr) 34;@ stdcall -arch=x86_64 HalIsHyperThreadingEnabled() 35@ stdcall HalMakeBeep(long) 36@ stdcall HalProcessorIdle() 37@ stdcall HalQueryDisplayParameters(ptr ptr ptr ptr) 38@ stdcall HalQueryRealTimeClock(ptr) 39@ stdcall HalReadDmaCounter(ptr) 40@ stdcall HalReportResourceUsage() 41@ stdcall HalRequestIpi(long) 42@ fastcall HalRequestSoftwareInterrupt(long) 43@ stdcall HalReturnToFirmware(long) 44;@ stdcall -arch=x86_64 HalSendNMI() 45;@ stdcall -arch=x86_64 HalSendSoftwareInterrupt() 46@ stdcall HalSetBusData(long long long ptr long) 47@ stdcall HalSetBusDataByOffset(long long long ptr long long) 48@ stdcall HalSetDisplayParameters(long long) 49@ stdcall HalSetEnvironmentVariable(str str) 50@ stdcall HalSetProfileInterval(long) 51@ stdcall HalSetRealTimeClock(ptr) 52@ stdcall HalSetTimeIncrement(long) 53@ stdcall HalStartNextProcessor(ptr ptr) 54@ stdcall HalStartProfileInterrupt(long) 55@ stdcall HalStopProfileInterrupt(long) 56@ fastcall -arch=arm HalSweepIcache() 57@ fastcall -arch=arm HalSweepDcache() 58@ fastcall HalSystemVectorDispatchEntry(long long long) 59;@ stdcall -arch=x86_64 HalSystemVectorDispatchEntry() 60@ stdcall HalTranslateBusAddress(long long long long ptr ptr) 61@ stdcall -arch=i386,x86_64 IoAssignDriveLetters(ptr str ptr ptr) HalpAssignDriveLetters 62@ stdcall IoFlushAdapterBuffers(ptr ptr ptr ptr long long) 63@ stdcall IoFreeAdapterChannel(ptr) 64@ stdcall IoFreeMapRegisters(ptr ptr long) 65@ stdcall IoMapTransfer(ptr ptr ptr ptr ptr long) 66@ stdcall -arch=i386,x86_64 IoReadPartitionTable(ptr long long ptr) HalpReadPartitionTable 67@ stdcall -arch=i386,x86_64 IoSetPartitionInformation(ptr long long long) HalpSetPartitionInformation 68@ stdcall -arch=i386,x86_64 IoWritePartitionTable(ptr long long long ptr) HalpWritePartitionTable 69@ extern KdComPortInUse 70@ fastcall -arch=i386,arm KeAcquireInStackQueuedSpinLock(ptr ptr) 71@ fastcall -arch=i386,arm KeAcquireInStackQueuedSpinLockRaiseToSynch(ptr ptr) 72@ fastcall -arch=i386,arm KeAcquireQueuedSpinLock(ptr) 73@ fastcall -arch=i386,arm KeAcquireQueuedSpinLockRaiseToSynch(ptr) 74@ stdcall -arch=i386,arm KeAcquireSpinLock(ptr ptr) 75@ fastcall -arch=i386,arm KeAcquireSpinLockRaiseToSynch(ptr) 76@ stdcall KeFlushWriteBuffer() 77@ stdcall -arch=i386,arm KeGetCurrentIrql() 78@ stdcall -arch=i386,arm KeLowerIrql(long) 79@ stdcall KeQueryPerformanceCounter(ptr) 80@ stdcall -arch=i386,arm KeRaiseIrql(long ptr) 81@ stdcall -arch=i386,arm KeRaiseIrqlToDpcLevel() 82@ stdcall -arch=i386,arm KeRaiseIrqlToSynchLevel() 83@ fastcall -arch=i386,arm KeReleaseInStackQueuedSpinLock(ptr) 84@ fastcall -arch=i386,arm KeReleaseQueuedSpinLock(ptr long) 85@ stdcall -arch=i386,arm KeReleaseSpinLock(ptr long) 86@ stdcall KeStallExecutionProcessor(long) 87@ fastcall -arch=i386,arm KeTryToAcquireQueuedSpinLock(long ptr) 88@ fastcall -arch=i386,arm KeTryToAcquireQueuedSpinLockRaiseToSynch(long ptr) 89@ fastcall -arch=i386,arm KfAcquireSpinLock(ptr) 90@ fastcall -arch=i386,arm KfLowerIrql(long) 91@ fastcall -arch=i386,arm KfRaiseIrql(long) 92@ fastcall -arch=i386,arm KfReleaseSpinLock(ptr long) 93@ stdcall -arch=i386,arm READ_PORT_BUFFER_UCHAR(ptr ptr long) 94@ stdcall -arch=i386,arm READ_PORT_BUFFER_ULONG(ptr ptr long) 95@ stdcall -arch=i386,arm READ_PORT_BUFFER_USHORT(ptr ptr long) 96@ stdcall -arch=i386,arm READ_PORT_UCHAR(ptr) 97@ stdcall -arch=i386,arm READ_PORT_ULONG(ptr) 98@ stdcall -arch=i386,arm READ_PORT_USHORT(ptr) 99@ stdcall -arch=i386,arm WRITE_PORT_BUFFER_UCHAR(ptr ptr long) 100@ stdcall -arch=i386,arm WRITE_PORT_BUFFER_ULONG(ptr ptr long) 101@ stdcall -arch=i386,arm WRITE_PORT_BUFFER_USHORT(ptr ptr long) 102@ stdcall -arch=i386,arm WRITE_PORT_UCHAR(ptr long) 103@ stdcall -arch=i386,arm WRITE_PORT_ULONG(ptr long) 104@ stdcall -arch=i386,arm WRITE_PORT_USHORT(ptr long) 105@ stdcall -arch=x86_64 HalInitializeBios(long ptr) 106;@ stdcall -arch=x86_64 x86BiosExecuteInterrupt() 107;@ stdcall -arch=x86_64 x86BiosInitializeBiosEx() 108;@ stdcall -arch=x86_64 x86BiosTranslateAddress() 109