Searched refs:topA (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 125 word_t botA, botB, topA, topB; local
128 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a)));
130 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 297 word_t botA, botB, topA, topB; local
300 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a)));
302 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
| /seL4-test-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 258 word_t botA, botB, topA, topB; local
261 topA = botA + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_a)));
263 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
| /seL4-test-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 244 word_t botA, botB, topA, topB; local
247 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a)));
249 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
Completed in 44 milliseconds