)]}' { "id": "adba10f83a3e0bbcd68402ea2258f343943e282f", "repo": "tf-a-mtk", "revision": "78f02ae2968dd0a78e0e686f8cf0886fa296f4eb", "path": "include/drivers/generic_delay_timer.h" }