Searched defs:src_cap (Results 1 - 7 of 7) sorted by last modified time

/barrelfish-2018-10-04/usr/drivers/omap44xx/sdma/
H A Dmain.c308 errval_t mem_copy(struct sdma_driver_state* st, struct capref dst_cap, struct capref src_cap) argument
/barrelfish-2018-10-04/kernel/
H A Dsyscall.c383 struct cte *src_cap; local
H A Dcapabilities.c1429 struct capability *src_cap = &src_cte->cap; local
1777 struct capability *src_cap = &src_cte->cap; local
[all...]
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dpage_mappings_arch.c300 struct capability *src_cap = &src_cte->cap; local
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dpage_mappings_arch.c268 struct capability *src_cap = &src_cte->cap; local
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dpaging.c648 struct capability *src_cap = &src_cte->cap; local
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dpaging.c555 struct capability *src_cap = &src_cte->cap; local

Completed in 104 milliseconds