On Mon, 3 May 2010 03:02:00 +0800
Seems a reasonable thing to do. It might also be reasonable to make
And these should be uninlined - they're too large to be inlined.
My version of gcc seems to just uninline them anyway, but forcing them
to be inlined with __always_inline indeed causes 70-80 bytes more text,
and we figure that larger text generally causes a slower kernel due to
cache eviction effects.