Searched refs:send_bind_monitor_reply (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dinter.c25 static void send_bind_monitor_reply(struct intermon_binding *b, errval_t err);
31 send_bind_monitor_reply(st->orig_binding, st->err);
35 static void send_bind_monitor_reply(struct intermon_binding *b, errval_t err) function
117 send_bind_monitor_reply(b, err);
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dinter.c25 static void send_bind_monitor_reply(struct intermon_binding *b, errval_t err);
31 send_bind_monitor_reply(st->orig_binding, st->err);
35 static void send_bind_monitor_reply(struct intermon_binding *b, errval_t err) function
117 send_bind_monitor_reply(b, err);
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dinter.c25 static void send_bind_monitor_reply(struct intermon_binding *b, errval_t err);
31 send_bind_monitor_reply(st->orig_binding, st->err);
35 static void send_bind_monitor_reply(struct intermon_binding *b, errval_t err) function
123 send_bind_monitor_reply(b, err);

Completed in 79 milliseconds