On Thu Jan 27, 2005 at 17:29:22 +0100, Stefan K. wrote:
exactly, it looks similar, but it's missing the noinline argument:
__attribute__ (()) __attribute__ ((noreturn)) void Kernel_thread::run() {
Strange. At the top of the .i file, there should be something like this:
#define FIASCO_NOINLINE __attribute__ ((noinline))
Right?
And probably show the output of "grep noinline kernel_thread.i".
Adam