Searched refs:tpi_data (Results 1 – 1 of 1) sorted by relevance
471 u32 tpi_data[3]; in handle_tpi() local488 tpi_data[0] = inti->io.subchannel_id << 16 | inti->io.subchannel_nr; in handle_tpi()489 tpi_data[1] = inti->io.io_int_parm; in handle_tpi()490 tpi_data[2] = inti->io.io_int_word; in handle_tpi()496 len = sizeof(tpi_data) - 4; in handle_tpi()497 rc = write_guest(vcpu, addr, ar, &tpi_data, len); in handle_tpi()507 len = sizeof(tpi_data); in handle_tpi()508 if (write_guest_lc(vcpu, __LC_SUBCHANNEL_ID, &tpi_data, len)) { in handle_tpi()
