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