Searched refs:send_bits (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | lmp_chan_arch.h | 42 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 D | trees.c | 167 # 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 D | dispatch.h | 85 capaddr_t send_cptr, uint8_t send_bits, bool give_away);
|
/barrelfish-master/include/barrelfish_kpi/ |
H A D | legacy_idc_buffer.h | 76 uint8_t send_bits; ///< Valid bits in send_cptr member in struct:idc_send_header::__anon21
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 1104 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 D | syscall.c | 979 uint8_t send_bits = (arg0 >> 8) & 0xff; local 994 send_cptr, send_bits, give_away);
|
Completed in 130 milliseconds