Searched refs:max_vaddr (Results 1 – 1 of 1) sorted by relevance
1532 unsigned long max_vaddr = 0xf7788000UL; in exhaust_vaddr_space() local1534 unsigned long max_vaddr = 0x800000000000UL; in exhaust_vaddr_space() local1539 for (ptr = PAGE_SIZE; ptr < max_vaddr; ptr += skip) { in exhaust_vaddr_space()1557 for (ptr = PAGE_SIZE; ptr < max_vaddr; ptr += skip) { in exhaust_vaddr_space()