Constant simics_api_sys::CORE_DSTC_FLUSH_COUNTER_HAP_NAME

pub const CORE_DSTC_FLUSH_COUNTER_HAP_NAME: &[u8; 24] = b"Core_DSTC_Flush_Counter\0";