{"action":"created","issue":{"url":"https://api.github.com/repos/OP-TEE/optee_os/issues/1438","repository_url":"https://api.github.com/repos/OP-TEE/optee_os","labels_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/1438/labels{/name}","comments_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/1438/comments","events_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/1438/events","html_url":"https://github.com/OP-TEE/optee_os/pull/1438","id":216414516,"number":1438,"title":"core: arm: Do not try to handle unsupported IRQ","user":{"login":"mbriand","id":740934,"avatar_url":"https://avatars0.githubusercontent.com/u/740934?v=3","gravatar_id":"","url":"https://api.github.com/users/mbriand","html_url":"https://github.com/mbriand","followers_url":"https://api.github.com/users/mbriand/followers","following_url":"https://api.github.com/users/mbriand/following{/other_user}","gists_url":"https://api.github.com/users/mbriand/gists{/gist_id}","starred_url":"https://api.github.com/users/mbriand/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mbriand/subscriptions","organizations_url":"https://api.github.com/users/mbriand/orgs","repos_url":"https://api.github.com/users/mbriand/repos","events_url":"https://api.github.com/users/mbriand/events{/privacy}","received_events_url":"https://api.github.com/users/mbriand/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-03-23T12:41:19Z","updated_at":"2017-03-23T12:55:30Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/OP-TEE/optee_os/pulls/1438","html_url":"https://github.com/OP-TEE/optee_os/pull/1438","diff_url":"https://github.com/OP-TEE/optee_os/pull/1438.diff","patch_url":"https://github.com/OP-TEE/optee_os/pull/1438.patch"},"body":"Trying to handle an interrupt with an ID above the maximum  will result \r\nin a kernel panic as the itr_handle() function will try to disable this \r\nunhandled interruption.\r\n\r\nInterrupts with a high ID will now be simply ignored.\r\n\r\nSigned-off-by: Mathieu Briand <mbriand@witekio.com>\r\n\r\nI believe the only cases where we can have an interrupt ID above the maximum are:\r\n- Spurious interrupt (1023), already handled by existing code.\r\n- Group interrupt (1022).\r\n\r\nIf I understood correctly the GIC documentation, group interrupt means the unhandled pending interrupt with the highest priority is for the non-secure world. I believe the only thing we can do in the secure world is to ignore it as it will be handled by the REE kernel."},"comment":{"url":"https://api.github.com/repos/OP-TEE/optee_os/issues/comments/288709703","html_url":"https://github.com/OP-TEE/optee_os/pull/1438#issuecomment-288709703","issue_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/1438","id":288709703,"user":{"login":"mbriand","id":740934,"avatar_url":"https://avatars0.githubusercontent.com/u/740934?v=3","gravatar_id":"","url":"https://api.github.com/users/mbriand","html_url":"https://github.com/mbriand","followers_url":"https://api.github.com/users/mbriand/followers","following_url":"https://api.github.com/users/mbriand/following{/other_user}","gists_url":"https://api.github.com/users/mbriand/gists{/gist_id}","starred_url":"https://api.github.com/users/mbriand/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mbriand/subscriptions","organizations_url":"https://api.github.com/users/mbriand/orgs","repos_url":"https://api.github.com/users/mbriand/repos","events_url":"https://api.github.com/users/mbriand/events{/privacy}","received_events_url":"https://api.github.com/users/mbriand/received_events","type":"User","site_admin":false},"created_at":"2017-03-23T12:55:30Z","updated_at":"2017-03-23T12:55:30Z","body":"Right, it should be OK now."}}
{"actor":{"display_login":"mbriand"}}