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

/barrelfish-2018-10-04/usr/monitor/
H A Dboot.c28 struct frame_identity umpid; local
29 errval_t err = invoke_frame_identify(frame, &umpid);
35 b->ump_state.chan.recvid = (uintptr_t)umpid.base;
37 (umpid.base + channel_length);
/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dinter.c247 struct frame_identity umpid = { .base = 0, .bytes = 0 }; local
248 err = invoke_frame_identify(frame, &umpid);
250 ump_binding->ump_state.chan.recvid = (uintptr_t)umpid.base;
252 (uintptr_t)(umpid.base + MON_URPC_CHANNEL_LEN);
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dinter.c247 struct frame_identity umpid = { .base = 0, .bytes = 0 }; local
248 err = invoke_frame_identify(frame, &umpid);
250 ump_binding->ump_state.chan.recvid = (uintptr_t)umpid.base;
252 (uintptr_t)(umpid.base + MON_URPC_CHANNEL_LEN);
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dinter.c261 struct frame_identity umpid = { .base = 0, .bytes = 0 }; local
262 err = invoke_frame_identify(frame, &umpid);
264 ump_binding->ump_state.chan.recvid = (uintptr_t)umpid.base;
266 (uintptr_t)(umpid.base + MON_URPC_CHANNEL_LEN);

Completed in 84 milliseconds