Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/entry/vdso/vdso32/vclock_gettime.c do_aux() -> vdso_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 vd 3832696832,3832700928,3832705024
PARAM_VALUE 0 vd->aux_clock_data 4096-ptr_max
PARAM_VALUE 1 vc 4096-ptr_max
PARAM_VALUE 1 vc->clock_mode s32min-(-1),1-s32max
PARAM_VALUE 2 clkidx 0
PARAM_VALUE 3 sec 2002759680
PARAM_VALUE 4 ns 2182270976
DATA_SOURCE 0 vd $0 [m]
BIT_INFO 0 vd 0xe4724000,0xffffffff
BIT_INFO 0 vd 0xe4724000,0xffffffffffffffff

arch/x86/entry/vdso/vdso32/vclock_gettime.c do_hres() -> vdso_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 vd 3832696832
PARAM_VALUE 0 vd->clock_data 4096-ptr_max
PARAM_VALUE 1 vc 4096-ptr_max
PARAM_VALUE 2 clkidx 0-23
PARAM_VALUE 3 sec 1869582336
PARAM_VALUE 4 ns 1203023872
BUF_SIZE 1 vc (-1),464
BUF_SIZE 1 vc (-1),464
DATA_SOURCE 0 vd $0
DATA_SOURCE 1 vc $1
DATA_SOURCE 2 clkidx $2

arch/x86/entry/vdso/vdso32/vclock_gettime.c do_hres_timens() -> vdso_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 vd 3832700928
PARAM_VALUE 0 vd->clock_data 4096-ptr_max
PARAM_VALUE 1 vc 4096-ptr_max
PARAM_VALUE 2 clkidx 0-23
PARAM_VALUE 3 sec 13910016
PARAM_VALUE 4 ns 3779358720
DATA_SOURCE 0 vd r vdso_timens_data
DATA_SOURCE 2 clkidx $2

arch/x86/entry/vdso/vdso64/vclock_gettime.c do_aux() -> vdso_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 vd 4841185353453948928,4841185353453953024,4841185353453957120
PARAM_VALUE 1 vc 4096-ptr_max
PARAM_VALUE 1 vc->clock_mode s32min-(-1),1-s32max
PARAM_VALUE 2 clkidx 0
PARAM_VALUE 3 sec 3891620565187239936
PARAM_VALUE 4 ns 4885774444387459072
DATA_SOURCE 0 vd $0 [m]
BIT_INFO 0 vd 0x432f586de4724000,0x7fffffffffffffff
BIT_INFO 0 vd 0x432f586de4724000,0xffffffffffffffff

arch/x86/entry/vdso/vdso64/vclock_gettime.c do_hres() -> vdso_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 vd 4841185353453948928
PARAM_VALUE 1 vc 4096-ptr_max
PARAM_VALUE 2 clkidx 0-23
PARAM_VALUE 3 sec 2040331889863495680
PARAM_VALUE 4 ns 8225140993275428864
BUF_SIZE 1 vc (-1),464
BUF_SIZE 1 vc (-1),464
DATA_SOURCE 0 vd $0
DATA_SOURCE 1 vc $1
DATA_SOURCE 2 clkidx $2

arch/x86/entry/vdso/vdso64/vclock_gettime.c do_hres_timens() -> vdso_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 vd 4841185353453953024
PARAM_VALUE 1 vc 4096-ptr_max
PARAM_VALUE 2 clkidx 0-23
PARAM_VALUE 3 sec 4562626341822627840
PARAM_VALUE 4 ns 6090306371894919168
DATA_SOURCE 0 vd r vdso_timens_data
DATA_SOURCE 2 clkidx $2