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