1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 #include <irq/ipi.h> 13 #include <sched/sched.h> 14 arch_send_ipi(u32 cpu,u32 ipi)15void arch_send_ipi(u32 cpu, u32 ipi) 16 { 17 plat_send_ipi(cpu, ipi); 18 } 19 arch_handle_ipi(u32 ipi_vector)20void arch_handle_ipi(u32 ipi_vector) 21 { 22 switch (ipi_vector) { 23 case IPI_RESCHED: 24 add_pending_resched(smp_get_cpu_id()); 25 break; 26 default: 27 BUG("Unsupported IPI vector %u\n", ipi_vector); 28 break; 29 } 30 } 31