Searched refs:botB (Results 1 - 4 of 4) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/riscv/object/ |
| H A D | objecttype.c | 136 word_t botA, botB, topA, topB; local
138 botB = cap_frame_cap_get_capFBasePtr(cap_b);
140 topB = botB + MASK (pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ;
141 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
| /seL4-mcs-10.1.1/src/arch/arm/64/object/ |
| H A D | objecttype.c | 208 word_t botA, botB, topA, topB; local
210 botB = cap_frame_cap_get_capFBasePtr(cap_b);
212 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ;
213 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
| /seL4-mcs-10.1.1/src/arch/arm/32/object/ |
| H A D | objecttype.c | 268 word_t botA, botB, topA, topB; local
270 botB = generic_frame_cap_get_capFBasePtr(cap_b);
272 topB = botB + MASK (pageBitsForSize(generic_frame_cap_get_capFSize(cap_b))) ;
273 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | objecttype.c | 301 word_t botA, botB, topA, topB; local
303 botB = cap_frame_cap_get_capFBasePtr(cap_b);
305 topB = botB + MASK (pageBitsForSize(cap_frame_cap_get_capFSize(cap_b)));
306 return ((botA <= botB) && (topA >= topB) && (botB <= topB));
|
Completed in 39 milliseconds