Searched refs:saved_jump_offset (Results 1 – 3 of 3) sorted by relevance
641 int saved_jump_offset = jump_offset; in execute_at() local652 jump_offset = saved_jump_offset; in execute_at()
675 int saved_jump_offset = jump_offset; in execute_at() local686 jump_offset = saved_jump_offset; in execute_at()