Searched refs:ipi_data (Results 1 – 1 of 1) sorted by relevance
139 uint32_t ipi_data, count; in sspm_alive_show() local143 ipi_data = 0xdead; in sspm_alive_show()145 if (sspm_ipi_send_non_blocking(IPI_ID_PLATFORM, &ipi_data) != 0) { in sspm_alive_show()151 &ipi_data, in sspm_alive_show()152 sizeof(ipi_data)) in sspm_alive_show()158 return (ipi_data == 1) ? 0 : -1; in sspm_alive_show()