Symbol: EPT_T
sys/arch/x86/x86/pmap.c
6126
ret = __SHIFTIN(TYPE_UC, EPT_T);
sys/arch/x86/x86/pmap.c
6129
ret = __SHIFTIN(TYPE_WC, EPT_T);
sys/arch/x86/x86/pmap.c
6133
ret = __SHIFTIN(TYPE_WB, EPT_T);