)]}' { "id": "f343bd96609a17869b8cfa7fb55da30696aadba7", "repo": "linux/torvalds/linux", "revision": "0199172f933342d8b1011aae2054a695c25726f4", "path": "drivers/oprofile/nmi_timer_int.c" }