- printf("CSP\t=\t0x%08lx ", (unsigned long)current_control_stack_pointer);
- printf("CFP\t=\t0x%08lx ", (unsigned long)current_control_frame_pointer);
+ printf("CSP\t=\t0x%08lx ", (unsigned long)access_control_stack_pointer(thread));
+#if !defined(LISP_FEATURE_X86) && !defined(LISP_FEATURE_X86_64)
+ printf("CFP\t=\t0x%08lx ", (unsigned long)access_control_frame_pointer(thread));
+#endif