Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/pti.c pti_finalize() -> pti_clone_entry_text()

Type Parameter Key Value
PARAM_VALUE 0 late 1
NOCHECK_CALL

arch/x86/mm/pti.c pti_init() -> pti_clone_entry_text()

Type Parameter Key Value
PARAM_VALUE 0 late 0
NOCHECK_CALL
LOCK2 irq