Type Definition CCODE::PHARDWARE_COUNTER_TYPE

type PHARDWARE_COUNTER_TYPE = *mut _HARDWARE_COUNTER_TYPE;