Re: [PATCH v1 13/13] tools headers: Rename noinline to __noinline