Defined in 10 files as a function:
- arch/arm/include/asm/vdso/gettimeofday.h, line 116 (as a function)
- arch/arm64/include/asm/vdso/compat_gettimeofday.h, line 109 (as a function)
- arch/arm64/include/asm/vdso/gettimeofday.h, line 74 (as a function)
- arch/loongarch/include/asm/vdso/gettimeofday.h, line 76 (as a function)
- arch/mips/include/asm/vdso/gettimeofday.h, line 186 (as a function)
- arch/powerpc/include/asm/vdso/gettimeofday.h, line 97 (as a function)
- arch/riscv/include/asm/vdso/gettimeofday.h, line 63 (as a function)
- arch/s390/include/asm/vdso/gettimeofday.h, line 17 (as a function)
- arch/sparc/include/asm/vdso/gettimeofday.h, line 73 (as a function)
- arch/x86/include/asm/vdso/gettimeofday.h, line 146 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/entry/vdso/vdso32/vclock_gettime.c vdso_get_timestamp() -> __arch_get_hw_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vd | 3832696832,3832700928,3832705024 |
| DATA_SOURCE | 1 | vd | $0 |
| BIT_INFO | 1 | vd | 0xe4724000,0xffffffff |
| BIT_INFO | 1 | vd | 0xe4724000,0xffffffff |
arch/x86/entry/vdso/vdso64/vclock_gettime.c vdso_get_timestamp() -> __arch_get_hw_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vd | 4841185353453948928,4841185353453953024,4841185353453957120 |
| DATA_SOURCE | 1 | vd | $0 |
| BIT_INFO | 1 | vd | 0x432f586de4724000,0x7fffffffffffffff |
| BIT_INFO | 1 | vd | 0x432f586de4724000,0x7fffffffffffffff |