// Public nt-lite DDK scheduler declarations.

#pragma once

#include <stdint.h>
#include <ntlite/status.h>
#include <ntlite/ddk/thread.h>

// Driver-visible scheduler services.
typedef struct NTL_DDK_SCHEDULER {
    KSTATUS (*DelayThread)(uint64_t milliseconds);
    void    (*Yield)(void);
} NTL_DDK_SCHEDULER;