Searched defs:mapping_slot (Results 1 - 7 of 7) sorted by path

/barrelfish-master/include/arch/x86_64/barrelfish/
H A Dinvocations_arch.h100 invoke_vnode_map(struct capref ptable, capaddr_t slot, capaddr_t src_root, capaddr_t src, enum cnode_type srclevel, size_t flags, size_t offset, size_t pte_count, capaddr_t mcnroot, capaddr_t mcnaddr, enum cnode_type mcnlevel, cslot_t mapping_slot) argument
/barrelfish-master/include/barrelfish/
H A Dinvocations.h212 invoke_vnode_copy_remap(struct capref ptable, capaddr_t slot, capaddr_t src, enum cnode_type srclevel, size_t flags, size_t offset, size_t pte_count, capaddr_t mcn_addr, cslot_t mapping_slot, enum cnode_type mcn_level) argument
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c336 cslot_t mapping_slot = (word >> 8) & 0xFF; local
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c334 cslot_t mapping_slot = (word >> 8) & 0xFF; local
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c215 cslot_t mapping_slot = args[1] >> 16; local
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c152 cslot_t mapping_slot = args[8]; local
324 cslot_t mapping_slot = args[7]; local
/barrelfish-master/kernel/
H A Dsyscall.c423 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr, capaddr_t source_cptr, uint8_t source_level, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, capaddr_t mapping_crootptr, capaddr_t mapping_cnptr, uint8_t mapping_cn_level, cslot_t mapping_slot) argument
491 sys_copy_remap(struct capability *ptable, cslot_t slot, capaddr_t source_cptr, int source_level, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, capaddr_t mapping_cnptr, uint8_t mapping_cn_level, cslot_t mapping_slot) argument

Completed in 95 milliseconds