Searched refs:SCP_IPI_NS_SERVICE (Results 1 – 3 of 3) sorted by relevance
46 SCP_IPI_NS_SERVICE = 0xFF, enumerator
167 WARN_ON(id == SCP_IPI_NS_SERVICE) || in scp_ipi_send()
801 .ns_ipi_id = SCP_IPI_NS_SERVICE,