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

/barrelfish-master/kernel/
H A Dsyscall.c466 struct cte *mapping_cnode_cte; local
510 struct cte *mapping_cnode_cte; local

Completed in 46 milliseconds