footbridge_splx
footbridge_splx(ipl);
#define splx(newspl) footbridge_splx(newspl)
footbridge_splx(new);