3 unsigned alarm( unsigned );
4 double prandom( void );
6 void openrc(word,virtaddr *,word *);
7 void raise_signal(word,word,word *,word *);
8 void openobj(word,word *,word *);
9 void slopen(word,virtaddr *,word *,word *);
11 void typep(word,word,word *,word *);
12 void copy(virtaddr *,virtaddr *);
13 void qua(virtaddr *,word);
15 void disp(virtaddr *);
16 void gkill(virtaddr *);
17 void typref(virtaddr *,word);
19 void goloc(word,word);
20 void typed(word,word,word,word,virtaddr *);
25 void backhd(virtaddr *,word *);
26 void backbl(virtaddr *,word *);
27 void backpr(virtaddr *,word *);
28 void back(virtaddr *,word *,word);
30 void attach(virtaddr *);
31 void fin(word,virtaddr *,word *);
32 void heads(virtaddr *,word);
33 void resume(virtaddr *);
35 void enable(word,word);
36 void evaluaterpc(word);
37 void disable(word,word);
38 void rpc_accept(word);
41 void askprot(virtaddr *);
42 bool member(virtaddr *,word *);
44 word loadt(word,word);
45 bool is(virtaddr *,word);
46 bool inl(virtaddr *,word);
47 word shift(word,word);
50 void addext(char *,char *);
53 void init_scheduler( void );
55 void schedule( void );
56 void msginterrupt( message * );
58 void update( word, word );
59 void compactify( void );
60 void moveparams(word, word, message *, int, int);
61 void sendmsg1(message *);
65 char *asciiz( virtaddr * );
67 void moveblock( char *,char *, word );
68 void request( word, word *, word *);
69 word memavail( void );
70 void newarry( word, word, word, virtaddr *, word *);
71 void initprocess( word,word,procaddr *);
72 void activate( word );
74 void pushmask( word );
78 void loadfile(word,word *,word *,FILE **);
79 word directio(virtaddr *,word,int (*)(),FILE *);
80 void nonstandard( word );
81 void genfileobj(bool,word,char *,virtaddr *,word *);
83 void delete( virtaddr * );
84 bool testeof( FILE * );
85 bool testeoln( FILE * );
86 char *tempfilename( void );
87 word readint( FILE * );
88 double readreal( FILE * );
89 void writeint( word, word, FILE * );
90 void writereal( double, word, word, FILE * );
91 void writestring( word, word, FILE * );
92 void readln( FILE * );
93 void senderr( int, procaddr * );
94 void rpcend( message * );
95 void rpc1( message * );
96 void handle_message(MESSAGE*);
97 int check_port(MESSAGE*);
98 void send_to_kernel(MESSAGE*);
99 void writeln_str(char*);
100 void write_str(char*);
101 void write_char(char);
103 void read_str(char*);
160 void init_scheduler();
194 char *tempfilename();