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