Symbol: MPTABLE_POS_USE_DEFAULT
sys/platform/pc64/x86_64/mptable.c
1126
KKASSERT(!MPTABLE_POS_USE_DEFAULT(&mpt));
sys/platform/pc64/x86_64/mptable.c
1237
KKASSERT(!MPTABLE_POS_USE_DEFAULT(&mpt));
sys/platform/pc64/x86_64/mptable.c
1369
KKASSERT(!MPTABLE_POS_USE_DEFAULT(&mpt));
sys/platform/pc64/x86_64/mptable.c
256
if (MPTABLE_POS_USE_DEFAULT(&mpt)) {
sys/platform/pc64/x86_64/mptable.c
756
KKASSERT(!MPTABLE_POS_USE_DEFAULT(&mpt));
sys/platform/pc64/x86_64/mptable.c
864
KKASSERT(!MPTABLE_POS_USE_DEFAULT(&mpt));
sys/platform/pc64/x86_64/mptable.c
983
KKASSERT(!MPTABLE_POS_USE_DEFAULT(&mpt));