tree 038648e6864cde982f4fafe3ee3ffd0760520512
parent af1ca9a008f79bacc526677de80c83488b2b0d59
author Damon Lee <Damon.Lee@data61.csiro.au> 1564026169 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4utils: Update 'new_irq_ops' in IRQ server

This commit updates the call to 'new_irq_ops' in the IRQ server to match
the new function prototype.