Symbol: INVDONE
sys/platform/pc64/x86_64/pmap_inval.c
353
KKASSERT(info->mode == INVDONE);
sys/platform/pc64/x86_64/pmap_inval.c
420
KKASSERT(info->mode == INVDONE);
sys/platform/pc64/x86_64/pmap_inval.c
502
KKASSERT(info->mode == INVDONE);
sys/platform/pc64/x86_64/pmap_inval.c
554
KKASSERT(info->mode == INVDONE);
sys/platform/pc64/x86_64/pmap_inval.c
806
KKASSERT(info->mode != INVDONE);
sys/platform/pc64/x86_64/pmap_inval.c
850
info->mode = INVDONE;