student-distrib/keyboard.c
int terminal_write(int32_t* fd, uint32_t* ignore, char* buf, uint32_t nbytes){
	int i;
	int numbytes=0;


	for (i=0; i<nbytes; i++){
		putc(buf[i]);

		if (buf[i]!='\n'){
        numbytes++;
        }

	}

	return numbytes;

}
/* terminal_write() (xunli3)
 * Inputs: none
 * Outputs: number of bytes written
 * Effects: print whatever passes through buffer on the screen
 */
terminal_write() (xunli3)
Inputs: none
Outputs: number of bytes written
Effects: print whatever passes through buffer on the screen
terminal_write () ( xunli3 ) Inputs : none Outputs : number of bytes written Effects : print whatever passes through buffer on the screen
int terminal_write(int32_t* fd, uint32_t* ignore, char* buf, uint32_t nbytes){
	int i;
	int numbytes=0;
	for (i=0; i<nbytes; i++){
		putc(buf[i]);
		if (buf[i]!='\n'){
        numbytes++;
        }
	}
	return numbytes;
}
int terminal_write ( int32_t * fd , uint32_t * ignore , char * buf , uint32_t nbytes ) { int i ; int numbytes = 0 ; for ( i = 0 ; i < nbytes ; i ++ ) { putc ( buf [ i ] ) ; if ( buf [ i ] != ' \n ' ) { numbytes ++ ; } } return numbytes ; }
terminal_write() (xunli3)
 Inputs: none
 Outputs: number of bytes written
 Effects: print whatever passes through buffer on the screen
terminal_write () ( xunli3 ) Inputs : none Outputs : number of bytes written Effects : print whatever passes through buffer on the screen