Symbol: cfe_write
sys/dev/cfe/cfe_api.h
195
int cfe_write(int handle, unsigned char *buffer, int length);
sys/dev/cfe/cfe_console.c
126
rc = cfe_write(conhandle, &buf[written], len - written);
sys/dev/cfe/cfe_console.c
221
while (cfe_write(conhandle, &cbuf, 1) == 0)