ia64_mark_idle     60 arch/ia64/kernel/process.c void (*ia64_mark_idle)(int);
ia64_mark_idle    245 arch/ia64/kernel/process.c 	void (*mark_idle)(int) = ia64_mark_idle;