tree c061bc979b6eacd25711de255629a962b39d8453
parent 1de25d1106fe79d77d3f318620fd510d749fad38
author Damon Lee <Damon.Lee@data61.csiro.au> 1563845266 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4platsupport: Refactor IO-related interfaces

This refactoring is intended to bring these interface initialisation
functions more in line with the style of similar functions. Instead of
accepting an rvalue (or an expression) of the interfaces, we accept a
pointer to the interfaces themselves. Also add a warning regarding
lifetimes and concurrency.