Symbol: smp_multicast_ici_interrupts_disabled
headers/private/kernel/smp.h
92
void smp_multicast_ici_interrupts_disabled(int32 currentCPU, const CPUSet& cpuMask,
src/system/kernel/debug/debug.cpp
981
smp_multicast_ici_interrupts_disabled(cpu, cpuMask, SMP_MSG_CPU_HALT, 0, 0,