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

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h219 static inline word_t CONST generic_frame_cap_get_capFSize(cap_t cap) function
283 return pageBitsForSize(generic_frame_cap_get_capFSize(cap));
/seL4-camkes-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c261 topA = botA + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_a)));
262 topB = botB + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_b))) ;
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c269 if (generic_frame_cap_get_capFSize(cap) != ARMSmallPage) {
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c694 pageBits = pageBitsForSize(generic_frame_cap_get_capFSize(bufferCap));
1967 unmapPage(generic_frame_cap_get_capFSize(cap),
2306 frameSize = generic_frame_cap_get_capFSize(cap);
2502 page_size = 1 << pageBitsForSize(generic_frame_cap_get_capFSize(cap));
2744 frameSize = generic_frame_cap_get_capFSize(lu_ret.cap);

Completed in 49 milliseconds