#ifndef HV_H
#define HV_H

#include <ntifs.h>

VOID APERFMsrTimingCheck();

#endif