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_read_begin_timens()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 840851456

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 840851456

arch/x86/entry/vdso/vdso32/vclock_gettime.c do_coarse() -> vdso_read_begin_timens()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 1847472128
BUF_SIZE 0 vc 464
BUF_SIZE 0 vc 464
DATA_SOURCE 0 vc $1

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 4143849472
BUF_SIZE 0 vc (-1),464
BUF_SIZE 0 vc (-1),464
DATA_SOURCE 0 vc $1

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 5088386014333198336

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 5088386014333198336

arch/x86/entry/vdso/vdso64/vclock_gettime.c do_coarse() -> vdso_read_begin_timens()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 8014354725069000704
BUF_SIZE 0 vc 464
BUF_SIZE 0 vc 464
DATA_SOURCE 0 vc $1

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 1 seq 4794476059652292608
BUF_SIZE 0 vc (-1),464
BUF_SIZE 0 vc (-1),464
DATA_SOURCE 0 vc $1