sbi_send_ipi(9)

💅 NAME 💅

okay so welcome to the Kernel API Manual corner, where sbi_send_ipi(9) is the main character ✨. Its whole job is literally: Send an IPI to any hart, periodt. That's the vibe. No cap.

✨ SYNOPSIS ✨

the signature is exactly this one line, bestie:

void sbi_send_ipi (unsigned int cpu );

🎀 ARGUMENTS 🎀

• cpu — the logical id of the target CPU 💅. Like, that's the CPU you're aiming at, and that's the whole argument.

🦋 SEE ALSO 🦋

the kernel file ./arch/riscv/kernel/sbi.c is listed too, iykyk 👀. and these other manual pages are the friend group:

• sbi_console_putchar(9)
• sbi_console_getchar(9)
• sbi_shutdown(9)
• __sbi_set_timer_v01(9)
• sbi_fwft_set(9)
• sbi_fwft_set_cpumask(9)
• sbi_set_timer(9)
• sbi_remote_fence_i(9)
• sbi_remote_sfence_vma_asid(9)
• sbi_remote_hfence_gvma(9)
• sbi_remote_hfence_gvma_vmid(9)
• sbi_remote_hfence_vvma(9)
• sbi_remote_hfence_vvma_asid(9)
• sbi_probe_extension(9)

xoxo, ur kernel bestie 💖 — this page is serving source/version ./arch/riscv/kernel realness, dated October 2026. mwah 🫶