)]}'
{
  "id": "8c5a197e1587de4c647ff205b5b591c31a0dbcc6",
  "repo": "third_party/kernel",
  "revision": "ffb32e973eb5105ec55e0bbf2e77a1ea4a7a123a",
  "path": "include/linux/timer.h"
}