Symbol: MPX_INIT
usr/src/cmd/stmsboot/stmsboot_util.c
293
} else if (globarg != MPX_INIT) {
usr/src/cmd/stmsboot/stmsboot_util.c
435
globarg = MPX_INIT;