allocate_copybuffer  429 dev/wscons/wsdisplay.c 	allocate_copybuffer(sc); /* enlarge the copy buffer is necessary */
allocate_copybuffer 2329 dev/wscons/wsdisplay.c 		allocate_copybuffer(sc);
allocate_copybuffer   75 dev/wscons/wsmoused.h void allocate_copybuffer(struct wsdisplay_softc *);