TLBIDLE_CPU_HALTED
TLBIDLE_CPU_HALTED);
if (tlb_info & TLBIDLE_CPU_HALTED) {
ASSERT(found & TLBIDLE_CPU_HALTED);
while (tlb_info == TLBIDLE_CPU_HALTED) {
(void) CAS_TLB_INFO(cpup, TLBIDLE_CPU_HALTED,
TLBIDLE_CPU_HALTED | TLBIDLE_INVAL_ALL);
if (tlb_info == (TLBIDLE_CPU_HALTED | TLBIDLE_INVAL_ALL)) {