Searched refs:invoke_bits (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 33 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 D | lmp_chan_arch.h | 39 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 D | monitor_invocations_arch.h | 56 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 D | legacy_idc_buffer.h | 75 uint8_t invoke_bits; ///< Valid bits in invoke_cptr member in struct:idc_send_header::__anon21
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 1079 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 D | syscall.c | 952 uint8_t invoke_bits = (arg0 >> 16) & 0xff; local 956 invoke_cptr, invoke_bits); 961 invoke_bits, &to, CAPRIGHTS_READ);
|
Completed in 161 milliseconds