Symbol: CR3_NOINVL_BIT
usr/src/uts/i86pc/vm/hat_i86.c
1529
kcr3 = MAKECR3(tl_kpfn, PCID_KERNEL) | CR3_NOINVL_BIT;
usr/src/uts/i86pc/vm/hat_i86.c
1531
CR3_NOINVL_BIT;