Searched defs:vRootData (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/object/
H A Dtcb.c1039 word_t cRootData, vRootData, bufferAddr; local
1441 word_t cRootData, vRootData; local
[all...]

Completed in 36 milliseconds