ia64_get_irr      254 arch/ia64/kernel/sal.c 	while (!ia64_get_irr(IA64_TIMER_VECTOR))
ia64_get_irr      262 arch/ia64/kernel/sal.c 	if (ia64_get_irr(IA64_TIMER_VECTOR)) {