tag
line
file
source code
regs16
151
kernel/vm86.c
static inline void return_to_32bit(struct vm86_regs * regs16, int retval)
regs16
155
kernel/vm86.c
regs32 = save_v86_state(regs16);