Symbol: biosmptable_find_mpfps
tools/tools/ncpus/biosmptable.c
49
static mpfps_t biosmptable_find_mpfps(void);
tools/tools/ncpus/biosmptable.c
70
mpfps = biosmptable_find_mpfps();