Symbol: biosmptable_search_mpfps
tools/tools/ncpus/biosmptable.c
170
mpfps = biosmptable_search_mpfps(PTOV(addr << 4), 0x400);
tools/tools/ncpus/biosmptable.c
175
mpfps = biosmptable_search_mpfps(PTOV(0xf0000), 0x10000);
tools/tools/ncpus/biosmptable.c
50
static mpfps_t biosmptable_search_mpfps(off_t base, int length);