/* a <range> with size "len" starting at the return value is inside in the area defined by , but is otherwise randomized.  */
unsigned long randomize_range(unsigned long start, unsigned long end, unsigned long len)
/* a <range> with size "len" starting at the return value is inside in the area defined by , but is otherwise randomized.  */
unsigned long randomize_range(unsigned long start, unsigned long end, unsigned long len)
{
	unsigned long range = end - len - start;
	if (end <= start + len)
		return 0;
	return PAGE_ALIGN(get_random_int() % range + start);
}