Searched refs:MON_URPC_CHANNEL_LEN (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/usr/monitor/arch/armv7/
H A Dboot.c56 if (framesize < 2 * MON_URPC_CHANNEL_LEN) {
95 buf + MON_URPC_CHANNEL_LEN,
96 MON_URPC_CHANNEL_LEN,
97 buf, MON_URPC_CHANNEL_LEN, notify_cap,
105 (char *)buf + MON_URPC_CHANNEL_LEN,
106 MON_URPC_CHANNEL_LEN,
107 buf, MON_URPC_CHANNEL_LEN);
117 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
H A Dinter.c101 (char *)buf + MON_URPC_CHANNEL_LEN,
102 MON_URPC_CHANNEL_LEN,
103 buf, MON_URPC_CHANNEL_LEN);
109 (uintptr_t)(cap_raw.u.frame.base + MON_URPC_CHANNEL_LEN);
237 buf, MON_URPC_CHANNEL_LEN,
238 (char *)buf + MON_URPC_CHANNEL_LEN,
239 MON_URPC_CHANNEL_LEN);
252 (uintptr_t)(umpid.base + MON_URPC_CHANNEL_LEN);
/barrelfish-master/usr/monitor/arch/x86/
H A Dboot.c62 if (framesize < 2 * MON_URPC_CHANNEL_LEN) {
101 buf + MON_URPC_CHANNEL_LEN,
102 MON_URPC_CHANNEL_LEN,
103 buf, MON_URPC_CHANNEL_LEN, notify_cap,
111 (char *)buf + MON_URPC_CHANNEL_LEN,
112 MON_URPC_CHANNEL_LEN,
113 buf, MON_URPC_CHANNEL_LEN);
123 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
H A Dinter.c107 (char *)buf + MON_URPC_CHANNEL_LEN,
108 MON_URPC_CHANNEL_LEN,
109 buf, MON_URPC_CHANNEL_LEN);
115 (uintptr_t)(cap_raw.u.frame.base + MON_URPC_CHANNEL_LEN);
251 buf, MON_URPC_CHANNEL_LEN,
252 (char *)buf + MON_URPC_CHANNEL_LEN,
253 MON_URPC_CHANNEL_LEN);
266 (uintptr_t)(umpid.base + MON_URPC_CHANNEL_LEN);
/barrelfish-master/usr/monitor/arch/armv8/
H A Dboot.c56 if (framesize < 2 * MON_URPC_CHANNEL_LEN) {
95 buf + MON_URPC_CHANNEL_LEN,
96 MON_URPC_CHANNEL_LEN,
97 buf, MON_URPC_CHANNEL_LEN, notify_cap,
105 (char *)buf + MON_URPC_CHANNEL_LEN,
106 MON_URPC_CHANNEL_LEN,
107 buf, MON_URPC_CHANNEL_LEN);
117 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
H A Dinter.c101 (char *)buf + MON_URPC_CHANNEL_LEN,
102 MON_URPC_CHANNEL_LEN,
103 buf, MON_URPC_CHANNEL_LEN);
109 (uintptr_t)(cap_raw.u.frame.base + MON_URPC_CHANNEL_LEN);
237 buf, MON_URPC_CHANNEL_LEN,
238 (char *)buf + MON_URPC_CHANNEL_LEN,
239 MON_URPC_CHANNEL_LEN);
252 (uintptr_t)(umpid.base + MON_URPC_CHANNEL_LEN);
/barrelfish-master/usr/monitor/
H A Dboot.c111 buf, MON_URPC_CHANNEL_LEN,
112 buf + MON_URPC_CHANNEL_LEN,
113 MON_URPC_CHANNEL_LEN, notify_cap,
117 buf, MON_URPC_CHANNEL_LEN,
118 (char *)buf + MON_URPC_CHANNEL_LEN,
119 MON_URPC_CHANNEL_LEN);
127 MON_URPC_CHANNEL_LEN);
/barrelfish-master/usr/monitor/include/
H A Dmonitor.h36 #define MON_URPC_CHANNEL_LEN (32 * UMP_MSG_BYTES) macro
/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dboot_arch.c30 #define MON_URPC_CHANNEL_LEN (32 * UMP_MSG_BYTES) macro

Completed in 47 milliseconds