Searched refs:send_cptr (Results 1 - 10 of 10) sorted by relevance
/barrelfish-master/kernel/ |
H A D | dispatch.c | 139 * \param send_cptr Address of capability in sender's cspace 145 capaddr_t send_cptr, uint8_t send_level, 150 assert(send_cptr != CPTR_NULL); 192 err = caps_lookup_slot(&send->cspace.cap, send_cptr, send_level, 360 * \param send_cptr Capability to be transferred with LMP 365 capaddr_t send_cptr, uint8_t send_level, bool give_away) 377 if (send_cptr != CPTR_NULL) { 384 err = lmp_transfer_cap(ep, send, send_cptr, send_level, give_away); 144 lmp_transfer_cap(struct capability *ep, struct dcb *send, capaddr_t send_cptr, uint8_t send_level, bool give_away) argument 363 lmp_deliver(struct capability *ep, struct dcb *send, uintptr_t *payload, size_t len, capaddr_t send_cptr, uint8_t send_level, bool give_away) argument
|
/barrelfish-master/include/arch/aarch64/barrelfish/ |
H A D | lmp_chan_arch.h | 51 capaddr_t send_cptr = get_cap_addr(send_cap); local 57 invoke_cptr, send_cptr,
|
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | lmp_chan_arch.h | 43 capaddr_t send_cptr = get_cap_addr(send_cap) >> (CPTR_BITS - send_bits); local 49 invoke_cptr, send_cptr, arg1, arg2, arg3, arg4).error;
|
/barrelfish-master/kernel/include/ |
H A D | dispatch.h | 85 capaddr_t send_cptr, uint8_t send_bits, bool give_away);
|
/barrelfish-master/include/arch/x86_64/barrelfish/ |
H A D | lmp_chan_arch.h | 43 capaddr_t send_cptr = get_cap_addr(send_cap); local 54 if (send_cptr == 0 && send_level == 0 // Not sending a cap 70 flags, send_cptr,
|
/barrelfish-master/include/barrelfish_kpi/ |
H A D | legacy_idc_buffer.h | 76 uint8_t send_bits; ///< Valid bits in send_cptr 78 capaddr_t send_cptr; ///< Cap to send or #CPTR_NULL member in struct:idc_send_header::__anon21
|
/barrelfish-master/include/arch/arm/barrelfish/ |
H A D | lmp_chan_arch.h | 56 capaddr_t send_cptr = get_cap_addr(send_cap); local 62 invoke_cptr, send_cptr,
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 1105 capaddr_t send_cptr = a2; local 1130 length_words, send_cptr, send_bits, give_away);
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 1189 capaddr_t send_cptr = sa->arg2; local 1219 length_words, send_cptr, send_level, give_away);
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 980 capaddr_t send_cptr = args[0]; local 994 send_cptr, send_bits, give_away);
|
Completed in 112 milliseconds