cfe_write
while (cfe_write(conhandle,&ch,1) == 0) ; /* null loop */
int cfe_write(int handle, unsigned char *buffer, int length);
cfe_write(booted_dev_fd,pkt,len);
int cfe_write(int handle, unsigned char *buffer, int length);
while (cfe_write(conhandle,&ch,1) == 0) ; /* null loop */
int cfe_write(int handle, unsigned char *buffer, int length);
cfe_write(booted_dev_fd,pkt,len);