Re: xsrc/44391 (Different DRM headers between kernel and userland)

[riastradh%NetBSD.org@localhost]

Synopsis: Different DRM headers between kernel and userland

State-Changed-From-To: open->closed
State-Changed-By: riastradh%NetBSD.org@localhost
State-Changed-When: Sun, 20 Aug 2023 06:50:34 +0000
State-Changed-Why:
Not sure this is a problem.  The interface is supposed to be kept
compatible, with runtime checks when necessary.  One set of header
files is used to build the current version of the kernel code;
the other set, libdrm in userland.  If this actually causes a
problem we can reopen.