tree d7a4b8d47ddaf368b8f5dc7b71d512f89a40cddc
parent e38e343ad6dcf03783b98330f984cb207391995c
author Damon Lee <Damon.Lee@data61.csiro.au> 1562136099 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1563435938 +1000

libsel4utils: Change IRQ server public structs

The structs are updated to account for the new design that's part of the
refactoring. The IRQ details are no longer exposed and the user is
expected to use a pointer to refer to an IRQ server object.