commit 6a0c026936f8945f32963ff6e25ca78020bf4a0d
author Damon Lee <Damon.Lee@data61.csiro.au> Wed Jul 17 14:14:24 2019 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> Mon Aug 19 14:38:20 2019 +1000
tree 9add43f823acd13a56830e33fd02fab7d19a0359
parent 41be154ae6b5dcc6e24b3cc2734c6a8b6892f1b6

libsel4test: Add device_frame to env

We add this struct member to fix the functionality of a test. More
specifically, the test where we assign a device frame to a thread's IPC
buffer.

libsel4test/include/sel4test/test.h

diff --git a/libsel4test/include/sel4test/test.h b/libsel4test/include/sel4test/test.h
index d4122d3..459d044 100644
--- a/libsel4test/include/sel4test/test.h
+++ b/libsel4test/include/sel4test/test.h
@@ -70,6 +70,7 @@
 #endif
     seL4_Word cores;
     seL4_CPtr domain;
+    seL4_CPtr device_frame;
 
     int priority;
     int cspace_size_bits;