Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/entry/vsyscall/vsyscall_64.c map_vsyscall() -> set_vsyscall_pgtable_user_bits()

Type Parameter Key Value
PARAM_VALUE 0 root 7095400128764272640
NOCHECK_CALL
LOCK2 irq

arch/x86/mm/pti.c pti_setup_vsyscall() -> set_vsyscall_pgtable_user_bits()

Type Parameter Key Value
PARAM_VALUE 0 root 0,4096-u64max
NOCHECK_CALL
LOCK2 irq