Type Definition CCODE::HARDWARE_COUNTER_DATA

type HARDWARE_COUNTER_DATA = _HARDWARE_COUNTER_DATA;