tag	line	file	source code
new_hae	39	include/asm-alpha/io.h	extern inline void set_hae(unsigned long new_hae)
new_hae	42	include/asm-alpha/io.h	hae.cache = new_hae;
new_hae	43	include/asm-alpha/io.h	*hae.reg = new_hae;