tree 8d112ddbf2212bde4a83bdf19587e1bc5307da8b
parent 2d74ed200da28f717c2f924690275f1516e19c8e
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1576193542 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1576195073 +1100

libsel4utils: Split up 'get_vspace_with_map'

Split up the functionality of 'sel4utils_get_vspace_with_map'
with the bootstrap intitialisation parts being moved into a
private helper function 'get_vspace_bootstrap'. This allows other
functions to modify specific fields in the
'sel4utils_alloc_data_t' token after it has been set to a default
state.