tree ac747185bb85dce347d9ddcf628d3457970bfdac
parent 96edd188f2d900a045561e4af484535180b91f38
author Boyd Multerer <boydm@kry10.com> 1562835502 +1200
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1621049380 +1000

libsel4utils: Fix documentation bug

Update the documented order of the vspace_root parameter
so that it matches the function signature

Signed-off-by: Kent McLeod <kent@kry10.com>