)]}'
{
  "id": "c4d76ff056c6efd3431a4ed7aa3c6f6888c69e80",
  "repo": "third_party/linux",
  "revision": "b2d5bfea2d00a0000da18f7667c2b0e2c2f168d9",
  "path": "include/sound/timer.h"
}