Interrupt handlers and smp_calls take a void*