The amdgpu DRM driver started to include in from Linux 6.10, but either it does not use any of it, or linuxkpi provides the necessary API from another header.
This is part of the update of DRM drivers to Linux 6.10.
Sponsored by: The FreeBSD Foundation