get_random_u32_above
rand1 = get_random_u32_above(div_factor);
return get_random_u32_above(0);
net->vsock.port = get_random_u32_above(LAST_RESERVED_PORT);