VADDR_TO_PTENT
index = VADDR_TO_PTENT(virtualAddress);
pindex = VADDR_TO_PTENT(virtualAddress);
uint32 pageTableIndex = VADDR_TO_PTENT(virtAddr);
uint32_t pageTableIndex = VADDR_TO_PTENT(virtAddr);
ptEntry += VADDR_TO_PTENT(virtualAddress);
index = VADDR_TO_PTENT(virtualAddress);
entry += VADDR_TO_PTENT(virtualAddress);
index = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start); (index < 256) && (start < end);
index = VADDR_TO_PTENT(address);
for (index = VADDR_TO_PTENT(start); (index < 256) && (start < end);
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
for (index = VADDR_TO_PTENT(start); index < 256 && start < end;
index = VADDR_TO_PTENT(virtualAddress);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(address);
index = VADDR_TO_PTENT((addr_t)&sQueryDesc);
index = VADDR_TO_PTENT(queryPage);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(va);
pindex = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(virtualAddress);
pindex = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start);
index = VADDR_TO_PTENT(address);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start); index < 1024 && start < end;
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(address);
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(address);
index = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
index = VADDR_TO_PTENT(address);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
for (index = VADDR_TO_PTENT(start); index < 1024 && start < end;
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(address);
index = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
index = VADDR_TO_PTENT(address);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
for (index = VADDR_TO_PTENT(start); index < 1024 && start < end;
index = VADDR_TO_PTENT(virtualAddress);
index = VADDR_TO_PTENT(va);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
index = VADDR_TO_PTENT(address);
for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
page_table_entry entry = pt[VADDR_TO_PTENT(va)];
for (index = VADDR_TO_PTENT(start); index < 1024 && start < end;
index = VADDR_TO_PTENT(va);
index = VADDR_TO_PTENT(address);