tree e80c7365ade9d1a175708fbbed2755882fce7e1c
parent bd5691dd0b17294d86d5ff3cb7e0dca77ac760cb
author Damon Lee <Damon.Lee@data61.csiro.au> 1565067564 +1000
committer Lee, Damon (Data61, Kensington NSW) <Damon.Lee@data61.csiro.au> 1566189628 +1000

libsel4platsupport: Refactor the IRQ sources

This commit refactors the IRQ sources and pulls out common code into
separate functions. This is in preparation of a more simpler/mini IRQ
interface.