// © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
//
// SPDX-License-Identifier: BSD-3-Clause

module ipi

subscribe platform_ipi
	require_preempt_disabled

subscribe idle_yield
	// Run late, as this handler may sleep
	priority -100
	require_preempt_disabled

subscribe power_cpu_suspend()
	require_preempt_disabled

subscribe thread_exit_to_user
	require_preempt_disabled

subscribe optional preempt_interrupt
	require_preempt_disabled

// Other handlers might clear IPIs, so this has low priority to avoid
// processing those IPIs prematurely.
subscribe scheduler_quiescent
	priority -1000
	require_preempt_disabled

// This handler IPIs all cores to stop, it has high priority
subscribe scheduler_stop()
	priority 1000
	require_preempt_disabled