CIA_IOC_HAE_IO    588 arch/alpha/kernel/core_cia.c 	saved_config.hae_io         = *(vip)CIA_IOC_HAE_IO;
CIA_IOC_HAE_IO    617 arch/alpha/kernel/core_cia.c 	*(vip)CIA_IOC_HAE_IO    = saved_config.hae_io;
CIA_IOC_HAE_IO    668 arch/alpha/kernel/core_cia.c 	*(vip)CIA_IOC_HAE_IO = 0;