#if defined( ULTRIX_STATIC_CHECK )
struct tlb_pid_state {
#include <machine/r3_cpu.h>

#endif  /* ULTRIX_STATIC_CHECK */