CAS_TLB_INFO
while ((found = CAS_TLB_INFO(CPU, tlb_info, 0)) != tlb_info) {
(void) CAS_TLB_INFO(cpup, TLBIDLE_CPU_HALTED,