Searched refs:va_max (Results 1 – 1 of 1) sorted by relevance
1822 vm_map_address_t va_max = VM_MAX_KERNEL_ADDRESS; in pmap_map_high_window_bd() local1825 vm_map_address_t va_max = VREGION1_START + VREGION1_SIZE; in pmap_map_high_window_bd() local1835 if (len > (va_max - va_start)) { in pmap_map_high_window_bd()1843 for (; va_start < va_max; va_start += PAGE_SIZE) { in pmap_map_high_window_bd()1850 if (va_start > va_max) { in pmap_map_high_window_bd()