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_nothing (void); | |
extern void nonpic_receive_fn_addr (void *); | |
extern void pic_addr (void); | |
extern void pic_receive_fn_addr (void *); | |
extern void pic_nothing (void); | |
extern void abort (void); | |
extern void exit (int); |