pub const WHvProcessorCounterSetEvents: WHV_PROCESSOR_COUNTER_SET = 2i32;