_IA64_REG_CR_IFA  485 arch/ia64/include/asm/processor.h 	ia64_setreg(_IA64_REG_CR_IFA, vmaddr);
_IA64_REG_CR_IFA  502 arch/ia64/include/asm/processor.h 	ia64_setreg(_IA64_REG_CR_IFA, vmaddr);