API for init SMMU caps
Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
diff --git a/libsel4simple/include/simple/simple.h b/libsel4simple/include/simple/simple.h
index bed11a7..ac8fb0b 100644
--- a/libsel4simple/include/simple/simple.h
+++ b/libsel4simple/include/simple/simple.h
@@ -191,6 +191,7 @@
*/
typedef seL4_CPtr(*simple_get_sched_ctrl_fn)(void *data, int core);
+
/**
*
* Get simple to print all the information it has about its environment
@@ -559,6 +560,16 @@
}
#endif
+static inline seL4_CPtr simple_get_sid_ctrl(simple_t *simple)
+{
+ return simple_init_cap(simple, seL4_CapSMMUSIDControl);
+}
+
+static inline seL4_CPtr simple_get_cb_ctrl(simple_t *simple)
+{
+ return simple_init_cap(simple, seL4_CapSMMUCBControl);
+}
+
static inline void simple_print(simple_t *simple)
{
if (!simple) {
