Searched refs:stack_near_overflow (Results 1 – 1 of 1) sorted by relevance
609 val stack_near_overflow = stack.spec_near_overflow constant615 stack.spec_push_valid := s2_spec_push && !stack_near_overflow616 stack.spec_pop_valid := s2_spec_pop && !stack_near_overflow684 stack.s3_cancel := s3_cancel && !stack_near_overflow718 …k.redirect_valid := do_recover && (isBefore(redirect_TOSW, stack_TOSW) || !stack_near_overflow)