Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/entry/vdso/vdso32/vclock_gettime.c __cvdso_clock_gettime_common() -> do_aux()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vd | 3832696832 |
| PARAM_VALUE | 1 | clock | 0-23 |
| DATA_SOURCE | 0 | vd | $0 |
| DATA_SOURCE | 1 | clock | $1 |
| DATA_SOURCE | 2 | ts | $2 |
arch/x86/entry/vdso/vdso64/vclock_gettime.c __cvdso_clock_gettime_common() -> do_aux()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vd | 4841185353453948928 |
| PARAM_VALUE | 1 | clock | 0-23 |
| DATA_SOURCE | 0 | vd | $0 |
| DATA_SOURCE | 1 | clock | $1 |
| DATA_SOURCE | 2 | ts | $2 |