)]}'
{
  "id": "e78521bce565abe7860c737277d11333dbadd7cc",
  "repo": "third_party/kernel",
  "revision": "08d2b5fd9721613eb081acc3ee51c07fe31b7df6",
  "path": "include/linux/timer.h"
}