tag	line	file	source code
seg_32bit	90	arch/i386/kernel/ldt.c	(ldt_info.seg_32bit << 22) |
seg_32bit	18	include/linux/ldt.h	unsigned int  seg_32bit:1;