__STACK_RND_MASK
#define __STACK_RND_MASK(is32bit) (0x7ff)
#define __STACK_RND_MASK(is32bit) ((is32bit) ? 0x7ff : 0x3fffff)