Searched refs:tpi_data (Results 1 – 1 of 1) sorted by relevance
485 u32 tpi_data[3]; in handle_tpi() local502 tpi_data[0] = inti->io.subchannel_id << 16 | inti->io.subchannel_nr; in handle_tpi()503 tpi_data[1] = inti->io.io_int_parm; in handle_tpi()504 tpi_data[2] = inti->io.io_int_word; in handle_tpi()510 len = sizeof(tpi_data) - 4; in handle_tpi()511 rc = write_guest(vcpu, addr, ar, &tpi_data, len); in handle_tpi()521 len = sizeof(tpi_data); in handle_tpi()522 if (write_guest_lc(vcpu, __LC_SUBCHANNEL_ID, &tpi_data, len)) { in handle_tpi()