Searched refs:Save_GM (Results 1 – 6 of 6) sorted by relevance
932 Save_GM : constant Ghost_Mode_Type := Ghost_Mode; constant1052 Restore_Ghost_Mode (Save_GM);