Hi, There are counters defined by macro COVERAGE_DEFINE, e.g.: COVERAGE_DEFINE(upcall_queue_overflow); Is there a command or any tricks to check the value of the counters? I used gdb attaching to running thread to check it, but it would be highly appreciated if someone could help point out the convenient way. Best regards, Han