1 2 3 4 5 6 7
#include "mips-nonpic.h" void pic_receive_fn_addr (void *x) { if (x != &pic_nothing) abort (); }