task_size_32bit
extern unsigned long task_size_32bit(void);
*end = task_size_32bit();
arch_rnd(mmap32_rnd_bits), task_size_32bit(),
max = (-1UL) & __STACK_RND_MASK(task_size == task_size_32bit());