static inline void gdb_continue(GDBState *s)

{

#ifdef CONFIG_USER_ONLY

    s->running_state = 1;

#else

    vm_start();

#endif

}

static inline void gdb_continue(GDBState *s)

{

#ifdef CONFIG_USER_ONLY

    s->running_state = 1;

#else

    vm_start();

#endif

}

    vm_start();
static inline void FUNC_0(GDBState *VAR_0)

{

#ifdef CONFIG_USER_ONLY

    VAR_0->running_state = 1;

#else

    vm_start();

#endif

}

static inline void FUNC_0(GDBState *VAR_0)
{ #ifdef CONFIG_USER_ONLY
VAR_0->running_state = 1; #else
vm_start(); #endif
}