Searched refs:MON_URPC_CHANNEL_LEN (Results 1 - 9 of 9) sorted by relevance
/barrelfish-master/usr/monitor/arch/armv7/ |
H A D | boot.c | 56 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 D | inter.c | 101 (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 D | boot.c | 62 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 D | inter.c | 107 (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 D | boot.c | 56 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 D | inter.c | 101 (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 D | boot.c | 111 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 D | monitor.h | 36 #define MON_URPC_CHANNEL_LEN (32 * UMP_MSG_BYTES) macro
|
/barrelfish-master/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 30 #define MON_URPC_CHANNEL_LEN (32 * UMP_MSG_BYTES) macro
|
Completed in 47 milliseconds