Merge branch 'arrakis'
[barrelfish] / include / arch / x86_64 / barrelfish / invocations_arch.h
index 95ff4c0..38ed895 100644 (file)
@@ -275,15 +275,18 @@ static inline errval_t invoke_vnode_identify(struct capref vnode,
  *                 from the first page in the mapping identified by `frame`
  * \param pages    Number of pages that should get new set of flags
  * \param flags    New set of flags
+ * \param va_hint  Hint for selective TLB flushing
  *
  * \return Error code
  */
 static inline errval_t invoke_frame_modify_flags(struct capref frame,
                                                  size_t offset,
                                                  size_t pages,
-                                                 size_t flags)
+                                                 size_t flags,
+                                                 genvaddr_t va_hint)
 {
-    return cap_invoke4(frame, FrameCmd_ModifyFlags, offset, pages, flags).error;
+    return cap_invoke5(frame, FrameCmd_ModifyFlags, offset,
+                       pages, flags, va_hint).error;
 }
 
 static inline errval_t invoke_iocap_in(struct capref iocap, enum io_cmd cmd,
@@ -451,6 +454,11 @@ static inline errval_t invoke_dispatcher_dump_ptables(struct capref dispcap)
     return cap_invoke1(dispcap, DispatcherCmd_DumpPTables).error;
 }
 
+static inline errval_t invoke_dispatcher_dump_capabilities(struct capref dispcap)
+{
+    return cap_invoke1(dispcap, DispatcherCmd_DumpCapabilities).error;
+}
+
 static inline errval_t invoke_perfmon_activate(struct capref perfmon_cap,
                                                uint8_t event, uint8_t perf_umask,
                                                bool kernel, uint8_t counter_id,