Symbol: PDTE_SET_P
usr/src/uts/i86pc/io/immu_dvma.c
2074
PDTE_SET_P(pte);
usr/src/uts/i86pc/io/immu_dvma.c
2238
PDTE_SET_P(pde);