)]}'
{
  "id": "8dbd2572b7c3bc558bee3f6f3b18b1989c69e5fb",
  "repo": "linux",
  "revision": "ca1e8bb8e4e89e2769e2b39eb29fdcfc5c19cf89",
  "path": "drivers/char/drm/drm_os_linux.h"
}
