Searched refs:bind_monitor_proxy (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/monitor/arch/arm/
H A Dinter.c43 static void bind_monitor_proxy(struct intermon_binding *st, function
65 b->rx_vtbl.bind_monitor_proxy = bind_monitor_proxy;
/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dinter.c149 static void bind_monitor_proxy(struct intermon_binding *b,
157 bind_monitor_proxy(st->orig_binding, st->dst_core_id, st->caprep);
164 static void bind_monitor_proxy(struct intermon_binding *b, function
269 err = st->tx_vtbl.bind_monitor_proxy(st, NOP_CONT, core_id, caprep);
278 b->rx_vtbl.bind_monitor_proxy = bind_monitor_proxy;
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dinter.c149 static void bind_monitor_proxy(struct intermon_binding *b,
157 bind_monitor_proxy(st->orig_binding, st->dst_core_id, st->caprep);
164 static void bind_monitor_proxy(struct intermon_binding *b, function
269 err = st->tx_vtbl.bind_monitor_proxy(st, NOP_CONT, core_id, caprep);
278 b->rx_vtbl.bind_monitor_proxy = bind_monitor_proxy;
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dinter.c157 static void bind_monitor_proxy(struct intermon_binding *b,
165 bind_monitor_proxy(st->orig_binding, st->dst_core_id, st->caprep);
173 static void bind_monitor_proxy(struct intermon_binding *b, function
283 err = st->tx_vtbl.bind_monitor_proxy(st, NOP_CONT, core_id, caprep);
293 b->rx_vtbl.bind_monitor_proxy = bind_monitor_proxy;

Completed in 93 milliseconds