4  * SPDX-License-Identifier: Apache-2.0
52 	.mpid = -1,
61 	[0 ... (CONFIG_MP_MAX_NUM_CPUS - 1)] = INV_MPID
76 	__ASSERT(arch_curr_cpu()->id == 0, "");  in arch_cpu_start()
215 void sched_ipi_handler(const void *unused)  in sched_ipi_handler()  argument
217 	ARG_UNUSED(unused);  in sched_ipi_handler()
233 void mem_cfg_ipi_handler(const void *unused)  in mem_cfg_ipi_handler()  argument
235 	ARG_UNUSED(unused);  in mem_cfg_ipi_handler()
240 	 * This is a no-op if the page table is already the right one.  in mem_cfg_ipi_handler()
254 void flush_fpu_ipi_handler(const void *unused)  in flush_fpu_ipi_handler()  argument
256 	ARG_UNUSED(unused);  in flush_fpu_ipi_handler()
260 	/* no need to re-enable IRQs here */  in flush_fpu_ipi_handler()
291 		arch_float_disable(_current_cpu->arch.fpu_owner);  in arch_spin_relax()