vdso_write_seq_begin identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

include/vdso/helpers.h, line 60 (as a function)

Referenced in 1 files:

include/vdso/helpers.h

Smatch caller information:

kernel/time/vsyscall.c vdso_write_begin() -> vdso_write_seq_begin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
BUF_SIZE	0	vc	464
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/vsyscall.c vdso_write_begin() -> vdso_write_seq_begin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/vsyscall.c vdso_write_begin_clock() -> vdso_write_seq_begin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
DATA_SOURCE	0	vc	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&tkd->lock
HALF_LOCKED2		_T->lock
HALF_LOCKED2		irq