Searched refs:umpb (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dboot.c90 struct intermon_ump_ipi_binding *umpb = local
92 assert(umpb != NULL);
94 err = intermon_ump_ipi_init(umpb, get_default_waitset(),
100 struct intermon_ump_binding *umpb; local
101 umpb = malloc(sizeof(struct intermon_ump_binding));
102 assert(umpb != NULL);
104 err = intermon_ump_init(umpb, get_default_waitset(),
115 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base;
116 umpb->ump_state.chan.recvid =
119 *ret_binding = &umpb
[all...]
H A Dinter.c96 struct intermon_ump_binding *umpb; local
97 umpb = malloc(sizeof(struct intermon_ump_binding));
98 assert(umpb != NULL);
100 err = intermon_ump_init(umpb, get_default_waitset(),
107 umpb->ump_state.chan.sendid = (uintptr_t)cap_raw.u.frame.base;
108 umpb->ump_state.chan.recvid =
112 err = intermon_init(&umpb->b, core_id);
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dboot.c90 struct intermon_ump_ipi_binding *umpb = local
92 assert(umpb != NULL);
94 err = intermon_ump_ipi_init(umpb, get_default_waitset(),
100 struct intermon_ump_binding *umpb; local
101 umpb = malloc(sizeof(struct intermon_ump_binding));
102 assert(umpb != NULL);
104 err = intermon_ump_init(umpb, get_default_waitset(),
115 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base;
116 umpb->ump_state.chan.recvid =
119 *ret_binding = &umpb
[all...]
H A Dinter.c96 struct intermon_ump_binding *umpb; local
97 umpb = malloc(sizeof(struct intermon_ump_binding));
98 assert(umpb != NULL);
100 err = intermon_ump_init(umpb, get_default_waitset(),
107 umpb->ump_state.chan.sendid = (uintptr_t)cap_raw.u.frame.base;
108 umpb->ump_state.chan.recvid =
112 err = intermon_init(&umpb->b, core_id);
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dboot.c96 struct intermon_ump_ipi_binding *umpb = local
98 assert(umpb != NULL);
100 err = intermon_ump_ipi_init(umpb, get_default_waitset(),
106 struct intermon_ump_binding *umpb; local
107 umpb = malloc(sizeof(struct intermon_ump_binding));
108 assert(umpb != NULL);
110 err = intermon_ump_init(umpb, get_default_waitset(),
121 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base;
122 umpb->ump_state.chan.recvid =
125 *ret_binding = &umpb
[all...]
H A Dinter.c102 struct intermon_ump_binding *umpb; local
103 umpb = malloc(sizeof(struct intermon_ump_binding));
104 assert(umpb != NULL);
106 err = intermon_ump_init(umpb, get_default_waitset(),
113 umpb->ump_state.chan.sendid = (uintptr_t)cap_raw.u.frame.base;
114 umpb->ump_state.chan.recvid =
118 err = intermon_init(&umpb->b, core_id);

Completed in 42 milliseconds