Searched defs:mapping_cn_level (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 423 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
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 151 uint8_t mapping_cn_level= args[7]; local
|
Completed in 68 milliseconds