On Wed, Nov 28, 2018 at 6:35 PM Miguel Ojeda<miguel.ojeda.sandonis@gmail.com> wrote:>> If your problem is fixed by putting __gnu_inline into __KERNEL__s/__gnu_inline/inline/Cheers,Miguel