Gary Thorpe <gathorpe79@yahoo.com> wrote:
 >> [kernel profiling dies horribly]
 >
 > So this problem may be either specific to this kernel configuration or
 > this particular machine.

It's not your kernel or your machine; as best as I can tell it's gcc4,
and it seems that all profiling is broken, not just the kernel.

(And I'm glad I tripped on it with user code; it's a lot easier to
catch that way.)

I just filed PR 34497.

-- 
   - David A. Holland / dholland@eecs.harvard.edu