VxWorks interrupt handling