Searched refs:send_cptr (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/kernel/
H A Ddispatch.c139 * \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 Dlmp_chan_arch.h51 capaddr_t send_cptr = get_cap_addr(send_cap); local
57 invoke_cptr, send_cptr,
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dlmp_chan_arch.h43 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 Ddispatch.h85 capaddr_t send_cptr, uint8_t send_bits, bool give_away);
/barrelfish-master/include/arch/x86_64/barrelfish/
H A Dlmp_chan_arch.h43 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 Dlegacy_idc_buffer.h76 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 Dlmp_chan_arch.h56 capaddr_t send_cptr = get_cap_addr(send_cap); local
62 invoke_cptr, send_cptr,
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c1105 capaddr_t send_cptr = a2; local
1130 length_words, send_cptr, send_bits, give_away);
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c1189 capaddr_t send_cptr = sa->arg2; local
1219 length_words, send_cptr, send_level, give_away);
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c980 capaddr_t send_cptr = args[0]; local
994 send_cptr, send_bits, give_away);

Completed in 202 milliseconds