#ifndef _NTEXAPI_H

// private
/**
 * The HV_DETAILS structure describes the HV details.
 */
typedef struct _HV_DETAILS
{
    ULONG Data[4];
} HV_DETAILS, *PHV_DETAILS;

#endif
View code on GitHub