OS "SELECT THREAD"

Select the Linux* OS kernel thread with the given PID.

Syntax

OS "SELECT THREADpid"

Parameters

pid

The process id of the thread to be selected.

Description

This command selects a thread of the Linux* OS kernel specified by the given process id.

For more complete information about compiler optimizations, see our Optimization Notice.