Re: [PATCH libdrm] add libsync.h helper