Lines Matching refs:VADDR_TO_PDENT
111 for (uint32 i = VADDR_TO_PDENT(USER_BASE);
112 i <= VADDR_TO_PDENT(USER_BASE + (USER_SIZE - 1)); i++) {
203 need += (VADDR_TO_PDENT(end) + 1 - VADDR_TO_PDENT(start) + NUM_PAGETBL_PER_PAGE - 1) / NUM_PAGETBL_PER_PAGE;
283 dindex = VADDR_TO_PDENT(va);
378 index = VADDR_TO_PDENT(start);
445 index = VADDR_TO_PDENT(address);
538 index = VADDR_TO_PDENT(start);
694 index = VADDR_TO_PDENT(address);
783 index = VADDR_TO_PDENT(va);
845 index = VADDR_TO_PDENT(va);
912 int index = VADDR_TO_PDENT(start);
971 int index = VADDR_TO_PDENT(va);
1017 int index = VADDR_TO_PDENT(address);