| extern int hit_pic_addr; |
| extern int hit_pic_addr_call; |
| extern int hit_pic_nothing; |
| extern int hit_pic_call; |
| |
| extern int hit_nonpic_addr; |
| extern int hit_nonpic_addr_call; |
| extern int hit_nonpic_call; |
| extern int hit_nonpic_nothing; |
| |
| extern void nonpic_addr (void); |
| extern void nonpic_call (void); |
| extern void nonpic_addr_call (void); |
| extern void nonpic_nothing (void); |
| extern void nonpic_receive_fn_addr (void *); |
| |
| extern void pic_addr (void); |
| extern void pic_call (void); |
| extern void pic_addr_call (void); |
| extern void pic_receive_fn_addr (void *); |
| extern void pic_nothing (void); |
| |
| extern void abort (void); |
| extern void exit (int); |