Symbol: smp_multicast_ici
headers/private/kernel/smp.h
90
void smp_multicast_ici(const CPUSet& cpuMask, int32 message, addr_t data,
src/system/kernel/vm/VMTranslationMap.cpp
347
smp_multicast_ici(cpus, SMP_MSG_USER_INVALIDATE_PAGES,
src/system/kernel/vm/VMTranslationMap.cpp
368
smp_multicast_ici(cpus, SMP_MSG_INVALIDATE_PAGE_LIST,