Searched refs:original_fired_signal (Results 1 – 1 of 1) sorted by relevance
273 const int original_fired_signal = fired_signal; in check_interrupt() local275 throw interrupted_error(original_fired_signal); in check_interrupt()