)]}' { "id": "8bb1bab248afe41908e54a3ede8dafcf521f99e1", "repo": "tf-a-mtk", "revision": "78f02ae2968dd0a78e0e686f8cf0886fa296f4eb", "path": "include/bl31/interrupt_mgmt.h" }