Searched refs:bind_monitor_request (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-2018-10-04/usr/monitor/arch/arm/ |
| H A D | inter.c | 23 static void bind_monitor_request(struct intermon_binding *st, function
63 b->rx_vtbl.bind_monitor_request = bind_monitor_request;
|
| /barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
| H A D | inter.c | 62 static void bind_monitor_request(struct intermon_binding *b, function
182 bind_monitor_request(dst_binding, NOP_CONT, src_core_id,
276 b->rx_vtbl.bind_monitor_request = bind_monitor_request;
|
| /barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
| H A D | inter.c | 62 static void bind_monitor_request(struct intermon_binding *b, function
182 bind_monitor_request(dst_binding, NOP_CONT, src_core_id,
276 b->rx_vtbl.bind_monitor_request = bind_monitor_request;
|
| /barrelfish-2018-10-04/usr/monitor/arch/x86/ |
| H A D | inter.c | 66 static void bind_monitor_request(struct intermon_binding *b, function
194 bind_monitor_request(dst_binding, NOP_CONT, src_core_id,
291 b->rx_vtbl.bind_monitor_request = bind_monitor_request;
|
Completed in 200 milliseconds