Date: Tue, 23 Oct 2012 07:27:12 GMT From: Robert Watson <rwatson@FreeBSD.org> To: Perforce Change Reviews <perforce@freebsd.org> Subject: PERFORCE change 218949 for review Message-ID: <201210230727.q9N7RCcg070385@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://p4web.freebsd.org/@@218949?ac=10 Change 218949 by rwatson@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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201210230727.q9N7RCcg070385>