64/object/objecttype.c

238 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b)
242         if (cap_get_capType(cap_b) == cap_frame_cap) {
246             botB = cap_frame_cap_get_capFBasePtr(cap_b);
248             topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ;
254         if (cap_get_capType(cap_b) == cap_page_table_cap) {
256                    cap_page_table_cap_get_capPTBasePtr(cap_b);
261         if (cap_get_capType(cap_b) == cap_page_directory_cap) {
263                    cap_page_directory_cap_get_capPDBasePtr(cap_b);
268         if (cap_get_capType(cap_b) == cap_page_upper_directory_cap) {
270                    cap_page_upper_directory_cap_get_capPUDBasePtr(cap_b);
275         if (cap_get_capType(cap_b) == cap_page_global_directory_cap) {
277                    cap_page_global_directory_cap_get_capPGDBasePtr(cap_b);
282         if (cap_get_capType(cap_b) == cap_asid_control_cap) {
288         if (cap_get_capType(cap_b) == cap_asid_pool_cap) {
290                    cap_asid_pool_cap_get_capASIDPool(cap_b);
296         if (cap_get_capType(cap_b) == cap_vcpu_cap) {
298                    cap_vcpu_cap_get_capVCPUPtr(cap_b);
304         if (cap_get_capType(cap_b) == cap_sid_control_cap ||
305             cap_get_capType(cap_b) == cap_sid_cap) {
310         if (cap_get_capType(cap_b) == cap_cb_control_cap ||
311             cap_get_capType(cap_b) == cap_cb_cap) {
316         if (cap_get_capType(cap_b) == cap_sid_cap) {
318                    cap_sid_cap_get_capSID(cap_b);
322         if (cap_get_capType(cap_b) == cap_cb_cap) {
324                    cap_cb_cap_get_capCB(cap_b);
332 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b)
335         if (cap_get_capType(cap_b) == cap_frame_cap) {
337                      cap_frame_cap_get_capFBasePtr(cap_b)) &&
339                      cap_frame_cap_get_capFSize(cap_b)) &&
341                      (cap_frame_cap_get_capFIsDevice(cap_b) == 0)));
346         cap_get_capType(cap_b) == cap_sid_cap) {
350         cap_get_capType(cap_b) == cap_cb_cap) {
354     return Arch_sameRegionAs(cap_a, cap_b);