save_v86_state
void save_v86_state(struct kernel_vm86_regs *, int);
save_v86_state((struct kernel_vm86_regs *) regs, VM86_SIGNAL);
save_v86_state(regs, VM86_INTx + (i << 8));
save_v86_state(regs, VM86_TRAP + (trapno << 8));
save_v86_state(regs, VM86_INTx + (intno << 8));
save_v86_state(regs, VM86_UNKNOWN);
save_v86_state(regs, VM86_STI);
save_v86_state(regs, VM86_PICRETURN);
save_v86_state(regs, VM86_UNKNOWN);