Searched refs:aBase (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c279 word_t aBase, bBase, aTop, bTop; local
281 aBase = (word_t)WORD_PTR(cap_untyped_cap_get_capPtr(cap_a));
284 aTop = aBase + MASK(cap_untyped_cap_get_capBlockSize(cap_a));
287 return (aBase <= bBase) && (bTop <= aTop) && (bBase <= bTop);

Completed in 33 milliseconds