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