Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/alternative.c its_fini_core() -> its_pages_protect()

Type Parameter Key Value
PARAM_VALUE 0 pages 4389805314669780992
NOCHECK_CALL

arch/x86/kernel/alternative.c its_fini_mod() -> its_pages_protect()

Type Parameter Key Value
PARAM_VALUE 0 pages 4096-ptr_max
NOCHECK_CALL