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