cs4231_alloc      149 dev/sbus/cs4231.c void *	cs4231_alloc(void *, int, size_t, int, int);
cs4231_alloc      177 dev/sbus/cs4231.c 	cs4231_alloc,