
on all platforms but the i386. On the i386 we look at T_PROTFLT and send a SIGSEGV instead of SIGBUS. This makes allegro lisp 5.0 and pvs (a proof verification system) to work. XXX[1]: We need to go through each architecture and verify that we send the correct signal on each trap type. XXX[2]: trap.c on all other architectures but i386 needs to be modified to s/trapsignal/(*p->p_emul->e_trapsignal)/g