|
@@ -692,9 +692,15 @@ void xive_tctx_pic_print_info(XiveTCTX *tctx, GString *buf)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- g_string_append_printf(buf, "CPU[%04x]: "
|
|
|
- "QW NSR CPPR IPB LSMFB ACK# INC AGE PIPR W2\n",
|
|
|
- cpu_index);
|
|
|
+ if (xive_presenter_get_config(tctx->xptr) & XIVE_PRESENTER_GEN1_TIMA_OS) {
|
|
|
+ g_string_append_printf(buf, "CPU[%04x]: "
|
|
|
+ "QW NSR CPPR IPB LSMFB ACK# INC AGE PIPR"
|
|
|
+ " W2\n", cpu_index);
|
|
|
+ } else {
|
|
|
+ g_string_append_printf(buf, "CPU[%04x]: "
|
|
|
+ "QW NSR CPPR IPB LSMFB - LGS T PIPR"
|
|
|
+ " W2\n", cpu_index);
|
|
|
+ }
|
|
|
|
|
|
for (i = 0; i < XIVE_TM_RING_COUNT; i++) {
|
|
|
char *s = xive_tctx_ring_print(&tctx->regs[i * XIVE_TM_RING_SIZE]);
|