X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=kernel%2Finclude%2Fdispatch.h;h=fbef4cacc7caca36f0bfb0e7b889ddbb0ed99486;hp=361a83cef5552eb4c6fe27d9642e810f49f42f3d;hb=24f00363e4566c651245bb6e92ae5fe898da7d57;hpb=914bfd94279d85fb6f6936cb555fb9a293724052

diff --git a/kernel/include/dispatch.h b/kernel/include/dispatch.h
index 361a83c..fbef4ca 100644
--- a/kernel/include/dispatch.h
+++ b/kernel/include/dispatch.h
@@ -72,6 +72,8 @@ static inline const char *get_disp_name(struct dcb *dcb)
 extern struct dcb *dcb_current, *fpu_dcb;
 
 void dispatch(struct dcb *dcb) __attribute__ ((noreturn));
+errval_t lmp_can_deliver_payload(struct capability *ep,
+                                 size_t payload_len);
 errval_t lmp_deliver_payload(struct capability *ep, struct dcb *send,
                              uintptr_t *payload, size_t payload_len,
                              bool captransfer);