label_t
label_t t_pcb;
label_t label;
int audit_async_start(label_t *, au_event_t, int);
audit_async_start(label_t *jb, au_event_t event, int sorf)
label_t jb; \
label_t jb;
label_t saveq;
#define luai_jmpbuf label_t
label_t label;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t panic_regs; /* setjmp label from panic_thread */
label_t panic_pcb; /* t_pcb at time of panic */
label_t pcb = t->t_pcb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t lwp_qsav; /* longjmp label for quits and interrupts */
label_t ot_jmpbuf; /* label for longjmp back to on_trap */
extern label_t panic_regs;
int setjmp(label_t *) __RETURNS_TWICE;
extern void longjmp(label_t *)
int on_fault(label_t *) __RETURNS_TWICE;
label_t t_pcb; /* pcb, save area when switching */
label_t *t_onfault; /* on_fault() setjmp buf */
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t *onfault;
label_t ljb;
pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc)
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t ljb;
label_t old_pcb;
label_t save;
label_t *onfault;
label_t ljb;
label_t *ltp;
label_t ljb;
label_t ljb;
label_t *ofd[HIGH_LEVELS]; /* saved pil ofd */
label_t ljb;
label_t *ofd[HIGH_LEVELS]; /* saved pil ofd */