1 extern int hit_pic_addr
;
2 extern int hit_pic_addr_call
;
3 extern int hit_pic_nothing
;
4 extern int hit_pic_call
;
6 extern int hit_nonpic_addr
;
7 extern int hit_nonpic_addr_call
;
8 extern int hit_nonpic_call
;
9 extern int hit_nonpic_nothing
;
11 extern void nonpic_addr (void);
12 extern void nonpic_call (void);
13 extern void nonpic_addr_call (void);
14 extern void nonpic_nothing (void);
15 extern void nonpic_receive_fn_addr (void *);
17 extern void pic_addr (void);
18 extern void pic_call (void);
19 extern void pic_addr_call (void);
20 extern void pic_receive_fn_addr (void *);
21 extern void pic_nothing (void);
23 extern void abort (void);
24 extern void exit (int);