Searched refs:ia64_mark_idle (Results 1 – 1 of 1) sorted by relevance
56 void (*ia64_mark_idle)(int); variable234 void (*mark_idle)(int) = ia64_mark_idle; in arch_cpu_idle()