On 6/30/07, Uwe Hermann uwe@hermann-uwe.de wrote:
See patch.
Do we really need or want the "__attribute__((always_inline))"?
Only rarely.
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 it inline.
There are very few cases where we should apply always_inline.
ron