Searched refs:tpi_data (Results 1 – 1 of 1) sorted by relevance
224 u32 tpi_data[3]; in handle_tpi() local239 tpi_data[0] = inti->io.subchannel_id << 16 | inti->io.subchannel_nr; in handle_tpi()240 tpi_data[1] = inti->io.io_int_parm; in handle_tpi()241 tpi_data[2] = inti->io.io_int_word; in handle_tpi()247 len = sizeof(tpi_data) - 4; in handle_tpi()248 rc = write_guest(vcpu, addr, ar, &tpi_data, len); in handle_tpi()258 len = sizeof(tpi_data); in handle_tpi()259 if (write_guest_lc(vcpu, __LC_SUBCHANNEL_ID, &tpi_data, len)) { in handle_tpi()