Lines Matching refs:VADDR_TO_PRENT
62 for (uint32 i = VADDR_TO_PRENT(USER_BASE);
63 i <= VADDR_TO_PRENT(USER_BASE + (USER_SIZE - 1)); i++) {
193 pgdirs = VADDR_TO_PRENT(end) + 1 - VADDR_TO_PRENT(start);
232 rindex = VADDR_TO_PRENT(va);
361 index = VADDR_TO_PRENT(start);
436 index = VADDR_TO_PRENT(address);
524 index = VADDR_TO_PRENT(start);
681 index = VADDR_TO_PRENT(address);
770 int index = VADDR_TO_PRENT(va);
831 int index = VADDR_TO_PRENT(va);