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

/barrelfish-2018-10-04/usr/monitor/
H A Dboot.c71 struct intermon_ump_ipi_binding *ump_binding = malloc(sizeof( local
74 struct intermon_ump_binding *ump_binding = malloc(sizeof( local
77 assert(ump_binding != NULL);
110 err = intermon_ump_ipi_init(ump_binding, get_default_waitset(),
116 err = intermon_ump_init(ump_binding, get_default_waitset(),
126 err = trace_ump_frame_identify(frame, ump_binding,
132 struct intermon_binding* ib = (struct intermon_binding*)ump_binding;
145 free(ump_binding);
/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dinter.c234 struct intermon_ump_binding *ump_binding = malloc(sizeof(struct intermon_ump_binding)); local
235 assert(ump_binding != NULL);
236 err = intermon_ump_init(ump_binding, get_default_waitset(),
250 ump_binding->ump_state.chan.recvid = (uintptr_t)umpid.base;
251 ump_binding->ump_state.chan.sendid =
254 err = intermon_init(&ump_binding->b, core_id);
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dinter.c234 struct intermon_ump_binding *ump_binding = malloc(sizeof(struct intermon_ump_binding)); local
235 assert(ump_binding != NULL);
236 err = intermon_ump_init(ump_binding, get_default_waitset(),
250 ump_binding->ump_state.chan.recvid = (uintptr_t)umpid.base;
251 ump_binding->ump_state.chan.sendid =
254 err = intermon_init(&ump_binding->b, core_id);
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dinter.c248 struct intermon_ump_binding *ump_binding = malloc(sizeof(struct intermon_ump_binding)); local
249 assert(ump_binding != NULL);
250 err = intermon_ump_init(ump_binding, get_default_waitset(),
264 ump_binding->ump_state.chan.recvid = (uintptr_t)umpid.base;
265 ump_binding->ump_state.chan.sendid =
268 err = intermon_init(&ump_binding->b, core_id);

Completed in 106 milliseconds