Revision 72d239ed cpu-defs.h

b/cpu-defs.h
201 201 
    jmp_buf jmp_env;                                                    \
202 202 
    int exception_index;                                                \
203 203 
                                                                        \
204 
    int user_mode_only;                                                 \
205 
                                                                        \
206 204 
    void *next_cpu; /* next CPU sharing TB cache */                     \
207 205 
    int cpu_index; /* CPU index (informative) */                        \
208 206 
    int running; /* Nonzero if cpu is currently running(usermode).  */  \

Also available in: Unified diff