tree 058798d45aad3980610f9f9814b0d9ee16997696
parent e8e4563dc503ac29abb56167654d80f233c4e6f9
author David 'Digit' Turner <digit@google.com> 1399632005 +0200
committer David 'Digit' Turner <digit@google.com> 1405690304 +0200

cpu_interrupt: integrate upstream version.

Change-Id: Ia310315c78fc26dce492f01449f34e7cd6e4182b