pub type WHV_VIRTUAL_PROCESSOR_PROPERTY_CODE = i32;