hae_1              91 arch/alpha/kernel/core_t2.c 	unsigned long hae_1;
hae_1             398 arch/alpha/kernel/core_t2.c 	t2_saved_config.hae_1 = srm_hae; /* HW is already set to 0 */