On 6/30/07, Uwe Hermann <uwe(a)hermann-uwe.de>
Do we really need or want the "__attribute__((always_inline))"?
Why we would need it for hlt()? So, in case memory is totally not
working, we don't do a call and try to push stuff on a stack. We want
There are very few cases where we should apply always_inline.
OK, I see, thanks. Patch updated.