Symbol: CR3_NO_TLB_FLUSH
sys/arch/x86/x86/svs.c
501
svs_pcid_ucr3 = __SHIFTIN(PMAP_PCID_USER, CR3_PCID) | CR3_NO_TLB_FLUSH;
sys/arch/x86/x86/svs.c
502
svs_pcid_kcr3 = __SHIFTIN(PMAP_PCID_KERN, CR3_PCID) | CR3_NO_TLB_FLUSH;