Searched refs:send_bits (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dlmp_chan_arch.h42 uint8_t send_bits = get_cap_valid_bits(send_cap); local
43 capaddr_t send_cptr = get_cap_addr(send_cap) >> (CPTR_BITS - send_bits);
48 | (invoke_bits << 16) | (send_bits << 8) | SYSCALL_INVOKE,
/barrelfish-master/lib/zlib/
H A Dtrees.c167 # define send_code(s, c, tree) send_bits(s, tree[c].Code, tree[c].Len)
173 send_bits(s, tree[c].Code, tree[c].Len); }
190 local void send_bits OF((deflate_state *s, int value, int length));
192 local void send_bits(s, value, length) function
217 #define send_bits(s, value, length) \ macro
780 send_code(s, REP_3_6, s->bl_tree); send_bits(s, count-3, 2);
783 send_code(s, REPZ_3_10, s->bl_tree); send_bits(s, count-3, 3);
786 send_code(s, REPZ_11_138, s->bl_tree); send_bits(s, count-11, 7);
848 send_bits(s, lcodes-257, 5); /* not +255 as stated in appnote.txt */
849 send_bits(
[all...]
/barrelfish-master/kernel/include/
H A Ddispatch.h85 capaddr_t send_cptr, uint8_t send_bits, bool give_away);
/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h76 uint8_t send_bits; ///< Valid bits in send_cptr member in struct:idc_send_header::__anon21
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c1104 uint8_t send_bits = FIELD(8,8,a0); local
1130 length_words, send_cptr, send_bits, give_away);
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c979 uint8_t send_bits = (arg0 >> 8) & 0xff; local
994 send_cptr, send_bits, give_away);

Completed in 109 milliseconds