Symbol: mptable_parse_ints
sys/x86/x86/mptable.c
182
static void mptable_parse_ints(void);
sys/x86/x86/mptable.c
442
mptable_parse_ints();