Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/entry/vdso/vdso32/vclock_gettime.c __cvdso_clock_gettime32_data() -> __cvdso_clock_gettime_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vd | 3832696832 |
| PARAM_VALUE | 2 | ts | 2484133888 |
| DATA_SOURCE | 0 | vd | $0 |
| DATA_SOURCE | 1 | clock | $1 |
arch/x86/entry/vdso/vdso32/vclock_gettime.c __cvdso_clock_gettime_data() -> __cvdso_clock_gettime_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vd | 3832696832 |
| 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_data() -> __cvdso_clock_gettime_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vd | 4841185353453948928 |
| DATA_SOURCE | 0 | vd | $0 |
| DATA_SOURCE | 1 | clock | $1 |
| DATA_SOURCE | 2 | ts | $2 |