// Public nt-lite DDK timer declarations.

#pragma once

#include <stdint.h>

// Driver-visible timing services.
typedef struct NTL_DDK_TIMER {
    uint64_t (*QueryTicks)(void);
    void     (*Stall)(uint32_t microseconds);
} NTL_DDK_TIMER;