tree f0a60b2d84a1d17d21e4cd15376095a28d23ac59
parent 0ca854f4f09c83609939c06bdb33a23a3350d153
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583470380 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583470547 +1100

libsel4vm: Styled src/guest_vspace.c

Updated style of `src/guest_vspace.c`