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