tag	line	file	source code
ASI_KERNELTXT	32	include/asm-sparc/asi.h	#define ASI_KERNELTXT    0x9
ASI_KERNELTXT	15	include/asm-sparc/asi4m.h	#define  ASI_KERNELTXT    0x9  /* kernel text */