- printf ("Control stack pointer = 0x%08x\n",
- u.u_pcb.pcb_csp);
- printf ("offset to control stack %d outermost frame %d (%0x)\n",
- reg_stack_offset, reg_offset, last_frame_address);
+ printf_unfiltered ("Control stack pointer = %s\n",
+ local_hex_string (u.u_pcb.pcb_csp));
+ printf_unfiltered ("offset to control stack %d outermost frame %d (%s)\n",
+ reg_stack_offset, reg_offset, local_hex_string (last_frame_address));