Searched defs:pdCap (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/ | ||
H A D | vspace.c | 2315 cap_t pdCap; local 2438 cap_t pdCap; local 2576 cap_t pdCap; local 2917 cap_t pdCap; local [all...] |
Completed in 28 milliseconds