Searched refs:maxrpid (Results 1 – 1 of 1) sorted by relevance
185 print_maxrpid_minpinlen(uint64_t maxrpid) in print_maxrpid_minpinlen() argument187 if (maxrpid > 0) in print_maxrpid_minpinlen()188 printf("maxrpids in minpinlen: %d\n", (int)maxrpid); in print_maxrpid_minpinlen()