Vmm inject interrupt

[hky1999]

No description provided.

[Copilot]

Pull Request Overview

This PR introduces full Inter-Processor Interrupt (IPI) support by adding a new axipi crate, updating task and runtime components to track and dispatch IPIs, and extending platform drivers and Cargo configurations to wire everything together.

• Add axipi crate for managing IPI event queues and callbacks
• Extend scheduler and task structures to record and propagate CPU IDs under SMP
• Update architecture-specific interrupt controllers (x86 APIC, RISC-V SBI, ARM GIC) to send and handle IPIs

Reviewed Changes

Copilot reviewed 41 out of 43 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
ulib/axstd/Cargo.toml	Added ipi feature flag to pull in IPI APIs
modules/axipi/src/lib.rs	Implemented IPI event queue, send, and handler logic
modules/axtask/src/task.rs	Extended TaskInner with cpu_id field and accessors
modules/axhal/src/platform/x86_pc/apic.rs	Defined IPI vector and added send_ipi_* functions
api/arceos_posix_api/build.rs	Updated bindgen build script to strip -softfloat suffix

Comments suppressed due to low confidence (1)

api/arceos_posix_api/build.rs:79

• The formatting string uses a named placeholder {fname} without supplying a named argument. This will fail to compile. Use positional formatting instead, e.g., println!("cargo:rerun-if-changed={}", fname);.

                    println!("cargo:rerun-if-changed={fname}");

[Copilot]

[nitpick] This commented-out debug and IRQ-wait code clutters the idle loop. Consider removing or restoring it under a feature flag to keep the codebase clean.

Suggested change

	// debug!("idle task: waiting for IRQs...");
	// #[cfg(feature = "irq")]
	// axhal::arch::wait_for_irqs();
	#[cfg(feature = "debug")]
	debug!("idle task: waiting for IRQs...");
	#[cfg(feature = "irq")]
	axhal::arch::wait_for_irqs();

[Copilot]

[nitpick] Commented-out platform module may be vestigial. If RISC-V support is not needed here, remove these lines; otherwise re-enable the import.

Suggested change

	// mod riscv64_qemu_virt;
	// pub use self::riscv64_qemu_virt::*;

[Copilot]

[nitpick] This IPI stub is empty. Consider adding a // TODO or a unimplemented!() to clarify that LoongArch64 IPI support is pending.

Suggested change

	pub fn send_ipi_one(dest_cpu: usize, irq_num: usize) {}
	/// Send a broadcast IPI to all CPUs.
	#[cfg(feature = "ipi")]
	pub fn send_ipi_all_others(irq_num: usize) {}
	pub fn send_ipi_one(dest_cpu: usize, irq_num: usize) {
	// TODO: Implement IPI support for LoongArch64.
	unimplemented!("IPI support is not yet implemented for LoongArch64.");
	}
	/// Send a broadcast IPI to all CPUs.
	#[cfg(feature = "ipi")]
	pub fn send_ipi_all_others(irq_num: usize) {
	// TODO: Implement broadcast IPI support for LoongArch64.
	unimplemented!("Broadcast IPI support is not yet implemented for LoongArch64.");
	}