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