Lines Matching refs:VADDR_TO_PTENT
191 index = VADDR_TO_PTENT(va);
237 for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
289 for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
343 index = VADDR_TO_PTENT(address);
420 for (index = VADDR_TO_PTENT(start); (index < 1024) && (start < end);
556 &pt[VADDR_TO_PTENT(address)]);
628 page_table_entry entry = pt[VADDR_TO_PTENT(va)];
670 page_table_entry entry = pt[VADDR_TO_PTENT(va)];
727 for (index = VADDR_TO_PTENT(start); index < 1024 && start < end;
785 index = VADDR_TO_PTENT(va);
823 index = VADDR_TO_PTENT(address);