)]}' { "id": "83f499cbf1ce180a8136ce1095e9abc9c1be8e00", "repo": "mirrors/cros/chromiumos/third_party/coreboot", "revision": "79b61016bfd702b0ea5221658305d8bd359f4f62", "path": "src/soc/nvidia/tegra124/timer.c" }