clrjmpx Kernel Service

Purpose

Removes a saved context by popping the last saved jump buffer from the list of saved contexts.

Syntax

#include <sys/types.h>
#include <sys/errno.h>

void clrjmpx ( jump_buffer) label_t *jump_buffer;

Parameter

Item	Description
jump_buffer	Specifies the address of the caller-supplied jump buffer that was specified on the call to the setjmpx service.

Description

The clrjmpx kernel service pops the most recent context saved by a call to the setjmpx kernel service. Since each longjmpx call automatically pops the jump buffer for the context to resume, the clrjmpx kernel service should be called only following:

A normal return from the setjmpx service when the saved context is no longer needed
Any code to be run that requires the saved context to be correct

The clrjmpx service takes the address of the jump buffer passed in the corresponding setjmpx service.

Execution Environment

The clrjmpx kernel service can be called from either the process or interrupt environment.

Return Values

The clrjmpx service has no return values.