27 Jan
2005
27 Jan
'05
5:56 p.m.
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 -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/