headers from any subdirectory of dev/pci/drm. If we ever add more drm(4) drivers any headers needed by userland should end up in dev/pci/drm. ok mpi@, miod@