#ifndef _NTEXAPI_H

// private
/**
 * The SYSTEM_HYPERVISOR_BOOT_PAGES_INFORMATION structure contains system hypervisor boot pages information.
 */
typedef struct _SYSTEM_HYPERVISOR_BOOT_PAGES_INFORMATION
{
    ULONG RangeCount;
    ULONG_PTR RangeArray[1];
} SYSTEM_HYPERVISOR_BOOT_PAGES_INFORMATION, *PSYSTEM_HYPERVISOR_BOOT_PAGES_INFORMATION;

#endif
View code on GitHub