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

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

arch/x86/include/asm/uaccess_64.h, line 152 (as a prototype)

Defined in 1 files as a function:

arch/x86/lib/usercopy_64.c, line 46 (as a function)

Referenced in 1 files:

arch/x86/include/asm/uaccess_64.h, line 171

Smatch caller information:

lib/iov_iter.c copy_from_user_flushcache() -> copy_user_flushcache()

Type	Parameter	Key	Value
PARAM_VALUE	0	dst	4096-ptr_max
PARAM_VALUE	1	src	4096-ptr_max
PARAM_VALUE	2	size	1-u64max
CAPPED_DATA	2	size	1
CAPPED_DATA	2	size	1
DATA_SOURCE	0	dst	$0
DATA_SOURCE	1	src	$1
DATA_SOURCE	2	size	$2
NOSPEC	2	size
NOSPEC	2	size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	size	1-s32max[c]
USER_DATA	2	size	1-u64max[c]
UNITS	0	dst	unit_byte
UNITS	1	src	unit_byte
UNITS	2	size	unit_byte
USER_PTR	0	dst