Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/mm/init_64.c mark_rodata_ro() -> free_kernel_image_pages()

Type Parameter Key Value
PARAM_VALUE 0 what 2229265775112318976
PARAM_VALUE 2 end 8827916320406978560
BUF_SIZE 0 what 38
STR_LEN 0 what 37
TERMINATED 0 what 1
NOCHECK_CALL

arch/x86/mm/init_64.c mark_rodata_ro() -> free_kernel_image_pages()

Type Parameter Key Value
PARAM_VALUE 0 what 8824863167645499392
PARAM_VALUE 1 begin 2786016832222826496
PARAM_VALUE 2 end 5964846206458200064
BUF_SIZE 0 what 38
STR_LEN 0 what 37
TERMINATED 0 what 1
NOCHECK_CALL

arch/x86/mm/init.c free_initmem() -> free_kernel_image_pages()

Type Parameter Key Value
PARAM_VALUE 0 what 2309993246580858880
PARAM_VALUE 1 begin 8424795058699771904
PARAM_VALUE 2 end 3036748790918135808
BUF_SIZE 0 what 30
STR_LEN 0 what 29
TERMINATED 0 what 1
NOCHECK_CALL