Symbol: SMP_MSG_USER_INVALIDATE_PAGES
src/system/kernel/smp.cpp
869
case SMP_MSG_USER_INVALIDATE_PAGES:
src/system/kernel/vm/VMTranslationMap.cpp
347
smp_multicast_ici(cpus, SMP_MSG_USER_INVALIDATE_PAGES,