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);