/* it is not clear exactly how/where/why to abstract this, as it assumes the use of a local APIC (but there's no other mechanism).  */
void arch_sched_ipi(void)
/* it is not clear exactly how/where/why to abstract this, as it assumes the use of a local APIC (but there's no other mechanism).  */
void arch_sched_ipi(void)
{
	z_loapic_ipi(0, LOAPIC_ICR_IPI_OTHERS, CONFIG_SCHED_IPI_VECTOR);
}