l_apic_send_custom_ipi 304 kernel/arch/amd64/src/smp/apic.c int l_apic_send_custom_ipi(uint8_t apicid, uint8_t vector) l_apic_send_custom_ipi 304 kernel/arch/ia32/src/smp/apic.c int l_apic_send_custom_ipi(uint8_t apicid, uint8_t vector)HelenOS homepage, sources at GitHub