Symbol: VGCF_IN_KERNEL
usr/src/uts/i86pc/ml/genassym.c
170
printf("#define\tVGCF_IN_KERNEL 0x%x\n", VGCF_IN_KERNEL);
usr/src/uts/i86xpv/os/mp_xen.c
228
vgc->flags = VGCF_IN_KERNEL;