normal_xtp        259 arch/ia64/kernel/process.c 	normal_xtp();
normal_xtp       1047 arch/ia64/kernel/setup.c 	normal_xtp();