tree 2f357884821c0d3a2c7fe049833d55323e8b8fd0
parent 5f6527dd5592f7904b8147b0e128132311b519ac
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1582773680 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583452324 +1100

libsel4vm: Pass vm handle to vm_guest_add_iospace

Updated the parameters to the interface function
'vm_guest_add_iospace'. This change substitutes the vspace
parameter with the VM object. This allows us to abstract the
internals of the VM datastructure making the interface easier to
use.