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