Symbol: PIVOT_RND
sys/uvm/uvm_addr.c
890
r = arc4random_uniform(PIVOT_RND) + arc4random_uniform(PIVOT_RND) -
sys/uvm/uvm_addr.c
891
(PIVOT_RND - 1);