pub type PHARDWARE_COUNTER_TYPE = *mut u32;