#ifndef _NTEXAPI_H

// private
/**
 * The SYSTEM_SECURE_KERNEL_DEBUGGER_INFORMATION_INPUT structure specifies the input parameters for a system secure kernel debugger information query.
 */
typedef struct _SYSTEM_SECURE_KERNEL_DEBUGGER_INFORMATION_INPUT
{
    ULONG Version;
    ULONG Reserved[3];
    ULONG MinimumImageVersion;
} SYSTEM_SECURE_KERNEL_DEBUGGER_INFORMATION_INPUT, *PSYSTEM_SECURE_KERNEL_DEBUGGER_INFORMATION_INPUT;

#endif
View code on GitHub