Searched refs:new_monitor_notify (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/usr/monitor/arch/arm/
H A Dinter.c55 static void new_monitor_notify(struct intermon_binding *st, function
66 b->rx_vtbl.new_monitor_notify = new_monitor_notify;
/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dinter.c213 static void new_monitor_notify(struct intermon_binding *st, function
279 b->rx_vtbl.new_monitor_notify = new_monitor_notify;
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dinter.c213 static void new_monitor_notify(struct intermon_binding *st, function
279 b->rx_vtbl.new_monitor_notify = new_monitor_notify;
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dinter.c225 static void new_monitor_notify(struct intermon_binding *st, function
294 b->rx_vtbl.new_monitor_notify = new_monitor_notify;
/barrelfish-2018-10-04/usr/monitor/
H A Dinter.c29 static errval_t new_monitor_notify(coreid_t id) function
50 err = b->tx_vtbl.new_monitor_notify(b, NOP_CONT, id);
150 err = new_monitor_notify(st->core_id);

Completed in 86 milliseconds