thread_interrupt_work
static uint32 thread_interrupt_work(int32 *flags, vuint32 *regs, shared_info *si) {
static uint32 thread_interrupt_work(int32 *flags, vuint32 *regs, vuint32 *regs2, shared_info *si) {
thread_interrupt_work(int32 *flags, vuint32 *regs, shared_info *si)
static uint32 thread_interrupt_work(int32 *flags, vuint32 *regs, shared_info *si) {
static uint32 thread_interrupt_work(int32 *flags, vuint32 *regs, shared_info *si) {