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