3 unsigned alarm(unsigned);
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);
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 *);
70 void newarry(word, word, word, virtaddr *, word *);
71 void initprocess(word, word, procaddr *);
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 *);
85 bool testeoln(FILE *);
86 char *tempfilename(void);
88 double readreal(FILE *);
89 void writeint(word, word, FILE *);
90 void writereal(double, word, word, FILE *);
91 void writestring(word, word, FILE *);
93 void senderr(int, procaddr *);
94 void rpcend(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*);
159 void init_scheduler();
193 char *tempfilename();