[okl4-developer] Magpie & attribute ((pure))

[Jamie Lennox]

It appears that magpie doesn't understand __attribute__ ((pure)) as used 
in <l4/arch/vregs.h>. It comes up when magpie runs over a header with 
<mutex/mutex.h> included.

It can be easily avoided by shuffling a few headers around such as the 
patch (only tested on ia32_pc99), but i thought i would let you know as 
i would have thought this had come up before.

Jamie
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: mutex-patch
Url: http://lists.okl4.org/pipermail/developer/attachments/20080819/866d933d/attachment.txt