haiku_end_clip   1845 src/haikuterm.c 	    haiku_end_clip (s);
haiku_end_clip   1937 src/haikuterm.c 		haiku_end_clip (s);
haiku_end_clip   1962 src/haikuterm.c 		haiku_end_clip (s);
haiku_end_clip   1970 src/haikuterm.c   haiku_end_clip (s);