/* 
 * x_stdio.h
 *
 * x-kernel v3.3
 *
 * Copyright (c) 1993,1991,1990,1996  Arizona Board of Regents
 *
 * $Revision: 1.2 $
 * $Date: 1996/01/31 16:23:54 $
 */

#ifndef x_stdio_h
#define x_stdio_h

#ifndef XKMACHKERNEL

#include <stdio.h>

#ifdef __STDC__

void	setbuf( FILE *, char * );
int	_flsbuf( unsigned char, FILE *);
int	_filbuf( FILE * );


#else 

int	fclose();
int	fflush();
int	fprintf();
int	fscanf();
int	printf();
int	sscanf();
void	setbuf();

#endif

#endif ! XKMACHKERNEL

#endif ! x_stdio_h