Searched defs:max_vaddr (Results 1 – 1 of 1) sorted by relevance
1501 unsigned long max_vaddr = 0xf7788000UL; in exhaust_vaddr_space() local1503 unsigned long max_vaddr = 0x800000000000UL; in exhaust_vaddr_space() local