)]}'
{
  "id": "51d601f192d421c6e3721c6621d7c3e08dc1a54d",
  "repo": "third_party/kernel",
  "revision": "9ee6c5dc816aa8256257f2cd4008a9291ec7e985",
  "path": "include/linux/timer.h"
}