src/object/objecttype.c

274 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b)
278         if (cap_get_capIsPhysical(cap_b)) {
282             bBase = (word_t)cap_get_capPtr(cap_b);
285             bTop = bBase + MASK(cap_get_capSizeBits(cap_b));
292         if (cap_get_capType(cap_b) == cap_endpoint_cap) {
294                    cap_endpoint_cap_get_capEPPtr(cap_b);
299         if (cap_get_capType(cap_b) == cap_notification_cap) {
301                    cap_notification_cap_get_capNtfnPtr(cap_b);
306         if (cap_get_capType(cap_b) == cap_cnode_cap) {
308                     cap_cnode_cap_get_capCNodePtr(cap_b)) &&
310                     cap_cnode_cap_get_capCNodeRadix(cap_b));
315         if (cap_get_capType(cap_b) == cap_thread_cap) {
317                    cap_thread_cap_get_capTCBPtr(cap_b);
322         if (cap_get_capType(cap_b) == cap_reply_cap) {
325                    cap_reply_cap_get_capReplyPtr(cap_b);
328                    cap_reply_cap_get_capTCBPtr(cap_b);
334         if (cap_get_capType(cap_b) == cap_domain_cap) {
340         if (cap_get_capType(cap_b) == cap_irq_control_cap ||
341             cap_get_capType(cap_b) == cap_irq_handler_cap) {
347         if (cap_get_capType(cap_b) == cap_irq_handler_cap) {
349                    (word_t)cap_irq_handler_cap_get_capIRQ(cap_b);
355         if (cap_get_capType(cap_b) == cap_sched_context_cap) {
357                     cap_sched_context_cap_get_capSCPtr(cap_b)) &&
359                     cap_sched_context_cap_get_capSCSizeBits(cap_b));
363         if (cap_get_capType(cap_b) == cap_sched_control_cap) {
370             isArchCap(cap_b)) {
371             return Arch_sameRegionAs(cap_a, cap_b);
379 bool_t CONST sameObjectAs(cap_t cap_a, cap_t cap_b)
385         cap_get_capType(cap_b) == cap_irq_handler_cap) {
388     if (isArchCap(cap_a) && isArchCap(cap_b)) {
389         return Arch_sameObjectAs(cap_a, cap_b);
391     return sameRegionAs(cap_a, cap_b);