From 8add1e53d5b70eaecab37a3a7f6b0115bad22be6 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Sun, 16 Jun 2024 21:23:17 +1000
Subject: [PATCH] Fix

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 apps/sel4test-tests/src/tests/cache.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);