mark_idle         245 arch/ia64/kernel/process.c 	void (*mark_idle)(int) = ia64_mark_idle;
mark_idle         251 arch/ia64/kernel/process.c 	if (mark_idle)
mark_idle         252 arch/ia64/kernel/process.c 		(*mark_idle)(1);
mark_idle         256 arch/ia64/kernel/process.c 	if (mark_idle)
mark_idle         257 arch/ia64/kernel/process.c 		(*mark_idle)(0);