Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
ktx |
3336278660045197312 |
| DATA_SOURCE |
0 |
which_clock |
$0 |
| USER_DATA |
0 |
which_clock |
s32min-s32max |
| USER_DATA |
1 |
ktx->calcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->constant |
s64min-s64max |
| USER_DATA |
1 |
ktx->errcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->esterror |
s64min-s64max |
| USER_DATA |
1 |
ktx->freq |
s64min-s64max |
| USER_DATA |
1 |
ktx->jitcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->jitter |
s64min-s64max |
| USER_DATA |
1 |
ktx->maxerror |
s64min-s64max |
| USER_DATA |
1 |
ktx->modes |
0-u32max |
| USER_DATA |
1 |
ktx->offset |
s64min-s64max |
| USER_DATA |
1 |
ktx->ppsfreq |
s64min-s64max |
| USER_DATA |
1 |
ktx->precision |
s64min-s64max |
| USER_DATA |
1 |
ktx->shift |
s32min-s32max |
| USER_DATA |
1 |
ktx->stabil |
s64min-s64max |
| USER_DATA |
1 |
ktx->status |
s32min-s32max |
| USER_DATA |
1 |
ktx->stbcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->tai |
s32min-s32max |
| USER_DATA |
1 |
ktx->tick |
s64min-s64max |
| USER_DATA |
1 |
ktx->time.tv_sec |
s64min-s64max |
| USER_DATA |
1 |
ktx->time.tv_usec |
s64min-s64max |
| USER_DATA |
1 |
ktx->tolerance |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
ktx |
3336278660045197312 |
| DATA_SOURCE |
0 |
which_clock |
$0 |
| USER_DATA |
0 |
which_clock |
s32min-s32max |
| USER_DATA |
1 |
ktx->calcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->constant |
s64min-s64max |
| USER_DATA |
1 |
ktx->errcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->esterror |
s64min-s64max |
| USER_DATA |
1 |
ktx->freq |
s64min-s64max |
| USER_DATA |
1 |
ktx->jitcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->jitter |
s64min-s64max |
| USER_DATA |
1 |
ktx->maxerror |
s64min-s64max |
| USER_DATA |
1 |
ktx->modes |
0-u32max |
| USER_DATA |
1 |
ktx->offset |
s64min-s64max |
| USER_DATA |
1 |
ktx->ppsfreq |
s64min-s64max |
| USER_DATA |
1 |
ktx->precision |
s64min-s64max |
| USER_DATA |
1 |
ktx->shift |
s32min-s32max |
| USER_DATA |
1 |
ktx->stabil |
s64min-s64max |
| USER_DATA |
1 |
ktx->status |
s32min-s32max |
| USER_DATA |
1 |
ktx->stbcnt |
s64min-s64max |
| USER_DATA |
1 |
ktx->tai |
s32min-s32max |
| USER_DATA |
1 |
ktx->tick |
s64min-s64max |
| USER_DATA |
1 |
ktx->time.tv_sec |
s64min-s64max |
| USER_DATA |
1 |
ktx->time.tv_usec |
s64min-s64max |
| USER_DATA |
1 |
ktx->tolerance |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
ktx |
7995398462044033024 |
| PARAM_VALUE |
1 |
ktx->calcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->constant |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->errcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->esterror |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->freq |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->jitcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->jitter |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->maxerror |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->offset |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->ppsfreq |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->precision |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->stabil |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->stbcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->tai |
0 |
| PARAM_VALUE |
1 |
ktx->tick |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->time.tv_sec |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->time.tv_usec |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->tolerance |
s32min-s32max |
| DATA_SOURCE |
0 |
which_clock |
$0 |
| MEM_ZERO |
1 |
ktx |
|
| USER_DATA |
0 |
which_clock |
s32min-s32max |
| USER_DATA |
1 |
ktx->calcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->constant |
s32min-s32max |
| USER_DATA |
1 |
ktx->errcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->esterror |
s32min-s32max |
| USER_DATA |
1 |
ktx->freq |
s32min-s32max |
| USER_DATA |
1 |
ktx->jitcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->jitter |
s32min-s32max |
| USER_DATA |
1 |
ktx->maxerror |
s32min-s32max |
| USER_DATA |
1 |
ktx->modes |
0-u32max |
| USER_DATA |
1 |
ktx->offset |
s32min-s32max |
| USER_DATA |
1 |
ktx->ppsfreq |
s32min-s32max |
| USER_DATA |
1 |
ktx->precision |
s32min-s32max |
| USER_DATA |
1 |
ktx->shift |
s32min-s32max |
| USER_DATA |
1 |
ktx->stabil |
s32min-s32max |
| USER_DATA |
1 |
ktx->status |
s32min-s32max |
| USER_DATA |
1 |
ktx->stbcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->tick |
s32min-s32max |
| USER_DATA |
1 |
ktx->time.tv_sec |
s32min-s32max |
| USER_DATA |
1 |
ktx->time.tv_usec |
s32min-s32max |
| USER_DATA |
1 |
ktx->tolerance |
s32min-s32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
ktx |
7995398462044033024 |
| PARAM_VALUE |
1 |
ktx->calcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->constant |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->errcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->esterror |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->freq |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->jitcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->jitter |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->maxerror |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->offset |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->ppsfreq |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->precision |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->stabil |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->stbcnt |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->tai |
0 |
| PARAM_VALUE |
1 |
ktx->tick |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->time.tv_sec |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->time.tv_usec |
s32min-s32max |
| PARAM_VALUE |
1 |
ktx->tolerance |
s32min-s32max |
| DATA_SOURCE |
0 |
which_clock |
$0 |
| MEM_ZERO |
1 |
ktx |
|
| USER_DATA |
0 |
which_clock |
s32min-s32max |
| USER_DATA |
1 |
ktx->calcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->constant |
s32min-s32max |
| USER_DATA |
1 |
ktx->errcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->esterror |
s32min-s32max |
| USER_DATA |
1 |
ktx->freq |
s32min-s32max |
| USER_DATA |
1 |
ktx->jitcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->jitter |
s32min-s32max |
| USER_DATA |
1 |
ktx->maxerror |
s32min-s32max |
| USER_DATA |
1 |
ktx->modes |
0-u32max |
| USER_DATA |
1 |
ktx->offset |
s32min-s32max |
| USER_DATA |
1 |
ktx->ppsfreq |
s32min-s32max |
| USER_DATA |
1 |
ktx->precision |
s32min-s32max |
| USER_DATA |
1 |
ktx->shift |
s32min-s32max |
| USER_DATA |
1 |
ktx->stabil |
s32min-s32max |
| USER_DATA |
1 |
ktx->status |
s32min-s32max |
| USER_DATA |
1 |
ktx->stbcnt |
s32min-s32max |
| USER_DATA |
1 |
ktx->tick |
s32min-s32max |
| USER_DATA |
1 |
ktx->time.tv_sec |
s32min-s32max |
| USER_DATA |
1 |
ktx->time.tv_usec |
s32min-s32max |
| USER_DATA |
1 |
ktx->tolerance |
s32min-s32max |