extern uint32_t *const s390_frame_ptr;
extern unsigned long *const s390x_frame_ptr;