)]}'
{
  "id": "fac3ab5ec83a9c3a73f9201b5e094309dda3a1a9",
  "repo": "third_party/linux",
  "revision": "ee82c13f6cc127a30c59ef8ee2dfc723b3f2ecf6",
  "path": "arch/s390/kernel/vdso64/clock_gettime.S"
}