Searched refs:Saved_ER_Val (Results 1 – 4 of 4) sorted by relevance
871 Saved_ER_Val : constant Boolean := ER_Val; constant875 if Saved_ER_Val and not ER_Val then
867 Saved_ER_Val : constant Boolean := ER_Val; constant871 if Saved_ER_Val and not ER_Val then