On Wed, Nov 28, 2018 at 6:35 PM Miguel Ojeda
<[email protected]> wrote:
>
> If your problem is fixed by putting __gnu_inline into __KERNEL__

s/__gnu_inline/inline/

Cheers,
Miguel

Reply via email to