Searched refs:exit_inv_failure_locked (Results 1 – 2 of 2) sorted by relevance
413 void exit_inv_failure_locked(from where) /* can throw */;926 exception_::exit_inv_failure_locked(where); in exit_invariant_failure()
479 void exit_inv_failure_locked(from where) /* can throw */ { in exit_inv_failure_locked() function