InterruptPollThread
fInterruptPollThread = spawn_kernel_thread(InterruptPollThread,
static int32 InterruptPollThread(void *data);