- uint64_t code, subcode;
-
- /*
- * EXC_GUARD namespace for mach ports
- *
- *
- * Mach Port guards use the exception codes like
- *
- * code:
- * +----------------------------------------------------------------+
- * |[63:61] GUARD_TYPE_MACH_PORT | [60:32] flavor | [31:0] port name|
- * +----------------------------------------------------------------+
- *
- * subcode:
- * +----------------------------------------------------------------+
- * | [63:0] guard value |
- * +----------------------------------------------------------------+
- */
-
- code = (((uint64_t)GUARD_TYPE_MACH_PORT) << 61) |
- (((uint64_t)reason) << 32) |
- ((uint64_t)name);
- subcode = (uint64_t)(portguard);
-
- t->guard_exc_info.code = code;
- t->guard_exc_info.subcode = subcode;
-
- /* Mark thread with AST_GUARD */
- thread_guard_violation(t, GUARD_TYPE_MACH_PORT);