Searched refs:rss_getnumcpus (Results 1 – 2 of 2) sorted by relevance
117 u_int rss_getnumcpus(void);
470 rss_getnumcpus(void) in rss_getnumcpus() function