PERFORCE change 218949 for review

[Robert Watson]

http://p4web.freebsd.org/@@218949?ac=10

Change 218949 by rwatson at rwatson_svr_ctsrd_mipsbuild on 2012/10/23 07:26:19

	CHERI capability registers now include a tag, so teach the kernel
	debugger to print that tag.

Affected files ...

.. //depot/projects/ctsrd/cheribsd/src/sys/mips/cheri/cheri.c#2 edit

Differences ...

==== //depot/projects/ctsrd/cheribsd/src/sys/mips/cheri/cheri.c#2 (text+ko) ====

@@ -241,10 +241,13 @@
 #ifdef DDB
 #define	DB_CHERI_REG_PRINT_NUM(crn, num) do {				\
 	struct chericap c;						\
+	u_int ctag;							\
 									\
 	CHERI_GETCAPREG((crn), c);					\
-	db_printf("C%u u: %u perms %04jx otype %016jx\n", num,		\
-	    c.c_unsealed, (uintmax_t)c.c_perms, (uintmax_t)c.c_otype);	\
+	CHERI_CGETTAG(ctag, (crn));					\
+	db_printf("C%u t: %u u: %u perms %04jx otype %016jx\n", num,	\
+	    ctag, c.c_unsealed, (uintmax_t)c.c_perms,			\
+	    (uintmax_t)c.c_otype);					\
 	db_printf("\tbase %016jx length %016jx\n", (uintmax_t)c.c_base,	\
 	    (uintmax_t)c.c_length);					\
 } while (0)