/* 
 * machine.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 machine_h
#define machine_h

#ifdef __STDC__

typedef int	SignalHandler( void * );

void	cancelSignalHandler( int );
void	init_clock( long );
void	installSignalHandler( int, SignalHandler, void * );
void	clock_ih( void );

#else

typedef int	SignalHandler();

#endif

#endif machine_h