NAME HAL.DLL

EXPORTS


    KeFlushWriteBuffer
    KeQueryPerformanceCounter
    KeStallExecutionProcessor

    #ifdef _X86_
    #include "i386hal.src"
    #elif _IA64_
    #include "ia64hal.src"
    #elif _ALPHA_
    #include "alphahal.src"
    #elif _AMD64_
    #include "amd64hal.src"
    #endif