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>
diff --git a/libsel4utils/include/sel4utils/vspace.h b/libsel4utils/include/sel4utils/vspace.h
index db24831..9422a79 100644
--- a/libsel4utils/include/sel4utils/vspace.h
+++ b/libsel4utils/include/sel4utils/vspace.h
@@ -192,9 +192,9 @@
*
* @param vspace uninitialised vspace struct to populate.
* @param data uninitialised vspace data struct to populate.
+ * @param vspace_root root object for the new vspace.
* @param vka initialised vka that this virtual memory allocator will use to
* allocate pages and pagetables. This allocator will never invoke free.
- * @param vspace_root root object for the new vspace.
* @param allocated_object_fn function to call when objects are allocated. Can be null.
* @param allocated_object_cookie cookie passed when the above function is called. Can be null.
* @param existing_frames a NULL terminated list of virtual addresses for 4K frames that are
@@ -216,10 +216,10 @@
*
* @param vspace uninitialised vspace struct to populate.
* @param data uninitialised vspace data struct to populate.
+ * @param vspace_root root object for the new vspace.
* @param vka initialised vka that this virtual memory allocator will use to
* allocate pages and pagetables. This allocator will never invoke free.
* @param info seL4 boot info
- * @param vspace_root root object for the new vspace.
* @param allocated_object_fn function to call when objects are allocated. Can be null.
* @param allocated_object_cookie cookie passed when the above function is called. Can be null.
*
