Searched refs:get_exit_inv_failure_locked (Results 1 – 2 of 2) sorted by relevance
407 from_failure_handler get_exit_inv_failure_locked()900 return exception_::get_exit_inv_failure_locked(); in get_exit_invariant_failure()
467 from_failure_handler get_exit_inv_failure_locked() in get_exit_inv_failure_locked() function