sys/arch/amd64/amd64/pmap.c

2292

l4idx = (va & L4_MASK) >> L4_SHIFT; /* PML4E idx */

sys/arch/amd64/amd64/pmap.c

2468

l4idx = (gpa & L4_MASK) >> L4_SHIFT; /* PML4E idx */

sys/arch/amd64/amd64/pmap.c

2550

l4idx = (gpa & L4_MASK) >> L4_SHIFT; /* PML4E idx */

sys/arch/amd64/amd64/pmap.c

470

mask = L4_MASK;

sys/arch/amd64/amd64/vmm_machdep.c

3547

mask = L4_MASK;

sys/arch/amd64/include/pmap.h

211

#define pl4_pi(VA) (((VA_SIGN_POS(VA)) & L4_MASK) >> L4_SHIFT)

sys/arch/amd64/include/pte.h

95

#define L4_FRAME L4_MASK

sys/arch/amd64/stand/efiboot/exec_i386.c

286

idx = (addr & L4_MASK) >> L4_SHIFT;

sys/arch/amd64/stand/libsa/exec_i386.c

329

kern_pml4 = (entry & L4_MASK) >> L4_SHIFT;

usr.sbin/vmd/x86_vm.c

1048

mask = L4_MASK;