Searched refs:user_min (Results 1 – 2 of 2) sorted by relevance
256 uint64_t user_min = MACH_VM_MAX_ADDRESS; in commpage_populate() local258 asb_addr %= (user_max - user_min); in commpage_populate()259 asb_addr += user_min; in commpage_populate()
640 uint64_t user_min = MACH_VM_MAX_ADDRESS; in commpage_populate() local642 asb_addr %= (user_max - user_min); in commpage_populate()643 asb_addr += user_min; in commpage_populate()