Searched refs:mapping_croot (Results 1 - 2 of 2) sorted by path

/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c149 capaddr_t mapping_croot = args[6] >> 32; local
157 mapping_croot, mapping_cnptr,
/barrelfish-master/kernel/
H A Dsyscall.c458 struct capability *mapping_croot; local
459 err = caps_lookup_cap(root, mapping_crootptr, 2, &mapping_croot,
467 err = caps_lookup_slot(mapping_croot, mapping_cnptr, mapping_cn_level,

Completed in 68 milliseconds