Searched refs:ojmp_ptr (Results 1 – 1 of 1) sorted by relevance
150 jmp_buf *ojmp_ptr; in do_interact() local158 ojmp_ptr = jmp_buf_ptr; in do_interact()234 jmp_buf_ptr = ojmp_ptr; in do_interact()