Lines Matching refs:VADDR_TO_PDENT
57 for (uint32 i = VADDR_TO_PDENT(USER_BASE);
58 i <= VADDR_TO_PDENT(USER_BASE + (USER_SIZE - 1)); i++) {
134 return VADDR_TO_PDENT(end) + 1 - VADDR_TO_PDENT(start);
155 uint32 index = VADDR_TO_PDENT(va);
223 int index = VADDR_TO_PDENT(start);
275 int index = VADDR_TO_PDENT(start);
334 int index = VADDR_TO_PDENT(address);
406 int index = VADDR_TO_PDENT(start);
542 int index = VADDR_TO_PDENT(address);
616 int index = VADDR_TO_PDENT(va);
659 int index = VADDR_TO_PDENT(va);
713 int index = VADDR_TO_PDENT(start);
770 int index = VADDR_TO_PDENT(va);
814 int index = VADDR_TO_PDENT(address);