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

/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h33 uint8_t invoke_bits = get_cap_valid_bits(to); local
34 capaddr_t invoke_cptr = get_cap_addr(to) >> (CPTR_BITS - invoke_bits);
36 // invoke_bits << 16 | cmd << 8 | syscall_invoke
37 uint32_t invocation = ((invoke_bits << 16) | (arg1 << 8) | SYSCALL_INVOKE);
80 uint8_t invoke_bits = get_cap_valid_bits(root); local
81 capaddr_t invoke_cptr = get_cap_addr(root) >> (CPTR_BITS - invoke_bits);
87 return syscall6((invoke_bits << 16) | (CNodeCmd_Retype << 8) | SYSCALL_INVOKE,
121 uint8_t invoke_bits = get_cap_valid_bits(root); local
122 capaddr_t invoke_cptr = get_cap_addr(root) >> (CPTR_BITS - invoke_bits);
126 return syscall5((invoke_bits << 1
156 uint8_t invoke_bits = get_cap_valid_bits(root); local
200 uint8_t invoke_bits = get_cap_valid_bits(root); local
227 uint8_t invoke_bits = get_cap_valid_bits(root); local
239 uint8_t invoke_bits = get_cap_valid_bits(root); local
251 uint8_t invoke_bits = get_cap_valid_bits(root); local
284 uint8_t invoke_bits = get_cap_valid_bits(ptable); local
311 uint8_t invoke_bits = get_cap_valid_bits(cap); local
388 uint8_t invoke_bits = get_cap_valid_bits(iocap); local
407 uint8_t invoke_bits = get_cap_valid_bits(iocap); local
446 uint8_t invoke_bits = get_cap_valid_bits(dispatcher); local
507 uint8_t invoke_bits = get_cap_valid_bits(irqcap); local
524 uint8_t invoke_bits = get_cap_valid_bits(irqcap); local
546 uint8_t invoke_bits = get_cap_valid_bits(kern_cap); local
562 uint8_t invoke_bits = get_cap_valid_bits(dispcap); local
571 uint8_t invoke_bits = get_cap_valid_bits(dispcap); local
580 uint8_t invoke_bits = get_cap_valid_bits(notify_cap); local
591 uint8_t invoke_bits = get_cap_valid_bits(dispcap); local
601 uint8_t invoke_bits = get_cap_valid_bits(dispcap); local
615 uint8_t invoke_bits = get_cap_valid_bits(dispatcher); local
648 uint8_t invoke_bits = get_cap_valid_bits(idcap); local
661 uint8_t invoke_bits = get_cap_valid_bits(ipi_cap); local
671 uint8_t invoke_bits = get_cap_valid_bits(ipi_cap); local
[all...]
H A Dlmp_chan_arch.h39 uint8_t invoke_bits = get_cap_valid_bits(ep); local
40 capaddr_t invoke_cptr = get_cap_addr(ep) >> (CPTR_BITS - invoke_bits);
48 | (invoke_bits << 16) | (send_bits << 8) | SYSCALL_INVOKE,
/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h56 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
57 capaddr_t invoke_cptr = get_cap_addr(cap_kernel) >> (CPTR_BITS - invoke_bits);
59 return syscall5((invoke_bits << 16) | (KernelCmd_Identify_cap << 8)
69 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
70 capaddr_t invoke_cptr = get_cap_addr(cap_kernel) >> (CPTR_BITS - invoke_bits);
72 return syscall7((invoke_bits << 16) | (KernelCmd_Identify_domains_cap << 8)
80 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
81 capaddr_t invoke_cptr = get_cap_addr(cap_kernel) >> (CPTR_BITS - invoke_bits);
83 return syscall4((invoke_bits << 16) | (KernelCmd_Nullify_cap << 8)
93 uint8_t invoke_bits local
104 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
147 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
159 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
181 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
193 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
206 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
217 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
231 uint8_t invoke_bits = get_cap_valid_bits(cap_kernel); local
[all...]
/barrelfish-master/include/barrelfish_kpi/
H A Dlegacy_idc_buffer.h75 uint8_t invoke_bits; ///< Valid bits in invoke_cptr member in struct:idc_send_header::__anon21
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c1079 uint8_t invoke_bits = FIELD(16,8,a0); local
1084 invoke_cptr, invoke_bits);
1090 invoke_cptr, invoke_bits,
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c952 uint8_t invoke_bits = (arg0 >> 16) & 0xff; local
956 invoke_cptr, invoke_bits);
961 invoke_bits, &to, CAPRIGHTS_READ);

Completed in 161 milliseconds