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