redzone_const_or_zero
INTRSTACKSIZE + redzone_const_or_zero(2 * PAGE_SIZE), 0,
ci->ci_intrstack = (char *)istack + redzone_const_or_zero(PAGE_SIZE) +
static inline int redzone_const_or_zero(int);
INTRSTACKSIZE + redzone_const_or_zero(2 * PAGE_SIZE), 0,
ci->ci_intrstack = (char *)istack + redzone_const_or_zero(PAGE_SIZE) +