Searched refs:mmrc_counter (Results 1 – 1 of 1) sorted by relevance
164 uint32_t mmrc_counter; member401 printf("MMRC counter: %d\n", mc->mmrc_counter); in sdsi_meter_cert_show()