sys/platform/vkernel64/platform/pmap.c

1952

if (pde && (*pde & VPTE_PS) == 0) {

sys/platform/vkernel64/platform/pmap.c

1995

if ((ptpaddr & VPTE_PS) != 0) {

sys/platform/vkernel64/platform/pmap.c

2240

if ((ptpaddr & VPTE_PS) != 0) {

sys/platform/vkernel64/platform/pmap.c

2340

if (origpte & VPTE_PS)

sys/platform/vkernel64/platform/pmap.c

319

if ((*pde & VPTE_PS) != 0) /* compat with x86 pmap_pte() */

sys/platform/vkernel64/platform/pmap.c

3371

if ((ptpaddr & VPTE_PS) != 0) {

sys/platform/vkernel64/platform/pmap.c

666

if ((pde & VPTE_PS) != 0) {

sys/platform/vkernel64/platform/pmap.c

733

if (pde & VPTE_PS) {

sys/vm/vm_fault.c

1718

if ((vpte & VPTE_PS) || vshift == 0)