Fix

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jun 16, 2024 · 8add1e5 · 8add1e5
1 parent 1d22d07
commit 8add1e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/sel4test-tests/src/tests/cache.c b/apps/sel4test-tests/src/tests/cache.c
@@ -358,7 +358,7 @@ static int test_cache_invalid(env_t env)
     int err;
     void *vaddr;
     reservation_t reservation;
-    vka_t *vka = env->vka;
+    vka_t *vka = &env->vka;
 
     reservation = vspace_reserve_range(&env->vspace, PAGE_SIZE_4K, seL4_AllRights, 1, &vaddr);
     assert(reservation.res);