|
Description
|
The code in lx_getpid() dereferences the results of ttolxlwp() without checking
whether the call returned NULL.
This could result in a panic if a NULL pointer is dereferenced.
Note this panic has never been seen, and the routine should never return NULL,
it's simply a theoretical bug found by inspection.
|