w32_get_nproc    2000 src/w32.c        return w32_get_nproc ();
w32_get_nproc    2008 src/w32.c        (void) w32_get_nproc ();
w32_get_nproc     242 src/w32.h      extern unsigned w32_get_nproc (void);