Searched defs: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() local