STACK_RND_MASK
stack_base += (STACK_RND_MASK << PAGE_SHIFT);
return STACK_RND_MASK << PAGE_SHIFT;
stack_base += (STACK_RND_MASK << PAGE_SHIFT);
#ifndef STACK_RND_MASK
random_variable &= STACK_RND_MASK;
pad += (STACK_RND_MASK << PAGE_SHIFT);