Symbol: mptable_parse_default_config_ints
sys/x86/x86/mptable.c
181
static void mptable_parse_default_config_ints(void);
sys/x86/x86/mptable.c
982
mptable_parse_default_config_ints();