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