Warner Losh 753b803f71 use %p in preference to 0x%08x for printing register_t values. Cast
them to void * first.  This neatly solves the "how do I print a
register_t" problem because sizeof(void *) is always the same as
sizeof(register_t), afaik.
2009-07-05 15:10:07 +00:00
..
2009-07-03 04:39:18 +00:00
2009-07-03 04:39:18 +00:00
2009-07-03 04:39:18 +00:00
2009-07-04 03:05:48 +00:00