ttr_cpuid
(uintptr_t)d_apixs[rec->ttr_cpuid]) == -1) {
mdb_warn("\ncouldn't read apix[%d]", rec->ttr_cpuid);
ttp->ttr_cpuid = cpu->cpu_id;
(rec->ttr_cpuid, rec->ttr_vector);