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