Searched refs:xdt_curpcpu (Results 1 – 2 of 2) sorted by relevance
57 printf("%d %d %d %s\n", arg0, arg1, \`xdt_curpcpu, probename);
369 uint_t xdt_curdom, xdt_curvcpu, xdt_curpcpu; variable1802 xdt_curpcpu = cpuid; in xdt_tbuf_scan()