diff --git a/apps/sel4test-tests/src/tests/cache.c b/apps/sel4test-tests/src/tests/cache.c
index b47cd963..4cc895d1 100644
--- 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);