On Fri, Feb 07, 2003 at 11:53:50AM +0100, Patrik Hansson wrote:

> Yes he is. Here is some information from his system:

Heh, funny. On a 80 char wide terminal it does not show enough details ;-)

So you realy should see at least a "cpu* timer" and "cpu* TLB shootdown IPI"
for each active CPU on a SMP machine.

If you don't, something is wrong. Please provide dmesg from a MPVERBOSE
kernel. And maybe move this to port-i386, since this is clearly arch dependend.

Martin