tag	line	file	source code
read_exec_only	87	arch/i386/kernel/ldt.c	((ldt_info.read_exec_only ^ 1) << 9) |
read_exec_only	20	include/linux/ldt.h	unsigned int  read_exec_only:1;