Searched refs:tpi_data (Results 1 – 1 of 1) sorted by relevance
443 u32 tpi_data[3]; in handle_tpi() local460 tpi_data[0] = inti->io.subchannel_id << 16 | inti->io.subchannel_nr; in handle_tpi()461 tpi_data[1] = inti->io.io_int_parm; in handle_tpi()462 tpi_data[2] = inti->io.io_int_word; in handle_tpi()468 len = sizeof(tpi_data) - 4; in handle_tpi()469 rc = write_guest(vcpu, addr, ar, &tpi_data, len); in handle_tpi()479 len = sizeof(tpi_data); in handle_tpi()480 if (write_guest_lc(vcpu, __LC_SUBCHANNEL_ID, &tpi_data, len)) { in handle_tpi()