| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 72 capaddr_t root = sa->arg2; local
111 static struct sysret copy_or_mint(struct capability *root, argument
140 handle_mint( struct capability* root, arch_registers_state_t* context, int argc ) argument
152 handle_copy( struct capability* root, arch_registers_state_t* context, int argc ) argument
164 handle_retype_common( struct capability* root, bool from_monitor, arch_registers_state_t* context, int argc ) argument
202 handle_retype( struct capability* root, arch_registers_state_t* context, int argc ) argument
212 handle_delete( struct capability* root, arch_registers_state_t* context, int argc ) argument
229 handle_create( struct capability* root, arch_registers_state_t* context, int argc ) argument
252 handle_revoke( struct capability* root, arch_registers_state_t* context, int argc ) argument
269 handle_get_state( struct capability* root, arch_registers_state_t* context, int argc ) argument
286 handle_get_size( struct capability* root, arch_registers_state_t* context, int argc ) argument
299 handle_resize( struct capability* root, arch_registers_state_t* context, int argc ) argument
780 struct capability *root; local
914 handle_cap_identify(struct capability *root, arch_registers_state_t *context, int argc) argument
[all...] |
| /barrelfish-master/lib/mdb/ |
| H A D | mdb_tree.c | 369 mdb_is_reachable(struct cte *root, struct cte *cte) argument
1135 mdb_sub_find_range_merge(mdb_root_t root, genpaddr_t address, size_t size, int max_precision, struct cte *sub, int *ret, struct cte **result) argument
1178 mdb_sub_find_range(mdb_root_t root, genpaddr_t address, size_t size, int max_precision, struct cte *current, struct cte **ret_node) argument
1277 mdb_find_range(mdb_root_t root, genpaddr_t address, gensize_t size, int max_result, struct cte **ret_node, int *result) argument
[all...] |
| /barrelfish-master/usr/replay/ |
| H A D | master.c | 498 __print_taskgraph(struct pid_entry *root, int level) argument
|
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | scheduler.c | 1084 st_id_t *root = (st_id_t *)root_hdl; local
1099 st_id_t *root = (st_id_t *)root_hdl; local
1128 st_id_t *root = (st_id_t *)&Scheduler(site)->root; local
[all...] |
| /barrelfish-master/include/vm/ |
| H A D | vm_map.c | 890 vm_map_entry_splay(vm_offset_t addr, vm_map_entry_t root) argument
1036 vm_map_entry_t next, prev, root; local
[all...] |
| /barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
| H A D | local_sa.c | 205 static void remove_attr(struct rb_root *root, struct ib_sa_attr_list *attr_list) argument
212 static void remove_all_attrs(struct rb_root *root) argument
226 static void remove_old_attrs(struct rb_root *root, unsigned long update_id) argument
241 static struct ib_sa_attr_list *insert_attr_list(struct rb_root *root, argument
266 find_attr_list(struct rb_root *root, u8 *gid) argument
285 insert_attr(struct rb_root *root, unsigned long update_id, void *key, struct ib_sa_iterator *iter) argument
[all...] |
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 74 capaddr_t root = sa->arg2; local
113 static struct sysret copy_or_mint(struct capability *root, argument
142 handle_mint( struct capability* root, arch_registers_state_t* context, int argc ) argument
154 handle_copy( struct capability* root, arch_registers_state_t* context, int argc ) argument
166 handle_retype_common( struct capability* root, bool from_monitor, arch_registers_state_t* context, int argc ) argument
204 handle_retype( struct capability* root, arch_registers_state_t* context, int argc ) argument
214 handle_delete( struct capability* root, arch_registers_state_t* context, int argc ) argument
231 handle_create( struct capability* root, arch_registers_state_t* context, int argc ) argument
252 handle_revoke( struct capability* root, arch_registers_state_t* context, int argc ) argument
269 handle_get_state( struct capability* root, arch_registers_state_t* context, int argc ) argument
286 handle_get_size( struct capability* root, arch_registers_state_t* context, int argc ) argument
297 handle_resize( struct capability* root, arch_registers_state_t* context, int argc ) argument
774 struct capability *root; local
882 handle_cap_identify(struct capability *root, arch_registers_state_t *context, int argc) argument
[all...] |
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 109 static struct sysret handle_retype_common(struct capability *root, argument
130 static struct sysret handle_retype(struct capability *root, int cmd, uintptr_t *args) argument
135 static struct sysret handle_create(struct capability *root, int cmd, argument
152 static struct sysret copy_or_mint(struct capability *root, argument
174 static struct sysret handle_mint(struct capability *root, int cmd, uintptr_t *args) argument
179 handle_copy(struct capability *root, int cmd, uintptr_t *args) argument
185 handle_delete(struct capability *root, int cmd, uintptr_t *args) argument
192 handle_revoke(struct capability *root, int cmd, uintptr_t *args) argument
200 handle_get_state(struct capability *root, int cmd, uintptr_t *args) argument
282 struct capability *root; local
403 monitor_identify_cap_common(struct capability *kernel_cap, struct capability *root, uintptr_t *args) argument
428 struct capability *root; local
[all...] |
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 90 static struct sysret handle_retype_common(struct capability *root, argument
114 static struct sysret handle_retype(struct capability *root, argument
120 static struct sysret handle_create(struct capability *root, argument
166 static struct sysret copy_or_mint(struct capability *root, argument
195 static struct sysret handle_mint(struct capability *root, argument
201 handle_copy(struct capability *root, int cmd, uintptr_t *args) argument
207 handle_delete(struct capability *root, int cmd, uintptr_t *args) argument
215 handle_revoke(struct capability *root, int cmd, uintptr_t *args) argument
223 handle_get_state(struct capability *root, int cmd, uintptr_t *args) argument
240 handle_get_size(struct capability *root, int cmd, uintptr_t *args) argument
246 handle_resize(struct capability *root, int cmd, uintptr_t *args) argument
255 handle_cap_identify(struct capability *root, int cmd, uintptr_t *args) argument
359 struct capability *root = &dcb_current->cspace.cap; local
581 monitor_identify_cap_common(struct capability *kernel_cap, struct capability *root, uintptr_t *args) argument
607 struct capability *root; local
1556 sys_vmcall(uint64_t syscall, uint64_t arg0, uint64_t arg1, uint64_t *args, uint64_t rflags, uint64_t rip, struct capability *root) argument
[all...] |