taglinefilesource code
MSG_INVALIDATE_TLB961arch/i386/kernel/smp.csmp_message_pass(MSG_ALL_BUT_SELF, MSG_INVALIDATE_TLB, 0L, 2);
MSG_INVALIDATE_TLB1098arch/i386/kernel/smp.ccase MSG_INVALIDATE_TLB: