Jean, I was trying build HEAD drm-i915-update-38, and I found it, it does not build. Can we please push only changes, which does build? I can send you patch to fix it later on today. I'm going to try start syncing drm with v3.9 today. Where do you want me to send patches, freebsd-x11 or pull request in github? -- Nikola