Isn't this the normal always_inline problem from the kernel headers?
Yes, good spot. Thanks for the help! W.
-------------------------------------------------------------------------
Wolfgang Bangerth email: [EMAIL PROTECTED]
www: http://www.ices.utexas.edu/~bangerth/