Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/pat/set_memory.c static_protections() -> check_conflict()

Type Parameter Key Value
PARAM_VALUE 0 warnlvl 0-2
PARAM_VALUE 2 val 0,9223372036854775808
PARAM_VALUE 6 txt 294212004836667392
BUF_SIZE 6 txt 8
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
DATA_SOURCE 0 warnlvl $5
DATA_SOURCE 1 prot $0
DATA_SOURCE 2 val r protect_kernel_text
DATA_SOURCE 3 start $1
DATA_SOURCE 5 pfn $2
STR_LEN 0 warnlvl 7
TERMINATED 6 txt 1
HARD_MAX 0 warnlvl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 start 0-u64max[c]
UNITS 3 start unit_byte
UNITS 4 end unit_byte
UNITS 5 pfn unit_page
HALF_LOCKED2 global &pgd_lock

arch/x86/mm/pat/set_memory.c static_protections() -> check_conflict()

Type Parameter Key Value
PARAM_VALUE 0 warnlvl 0-2
PARAM_VALUE 2 val 0,2
PARAM_VALUE 6 txt 4291977173653790720
BUF_SIZE 6 txt 8
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
DATA_SOURCE 0 warnlvl $5
DATA_SOURCE 1 prot $0
DATA_SOURCE 2 val r protect_kernel_text_ro
DATA_SOURCE 3 start $1
DATA_SOURCE 5 pfn $2
STR_LEN 0 warnlvl 7
TERMINATED 6 txt 1
HARD_MAX 0 warnlvl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 start 0-u64max[c]
UNITS 3 start unit_byte
UNITS 4 end unit_byte
UNITS 5 pfn unit_page
HALF_LOCKED2 global &pgd_lock

arch/x86/mm/pat/set_memory.c static_protections() -> check_conflict()

Type Parameter Key Value
PARAM_VALUE 0 warnlvl 0-2
PARAM_VALUE 2 val 0
PARAM_VALUE 6 txt 1993609443488010240
BUF_SIZE 6 txt 11
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
DATA_SOURCE 0 warnlvl $5
DATA_SOURCE 1 prot $0
DATA_SOURCE 2 val r protect_pci_bios
DATA_SOURCE 3 start $1
DATA_SOURCE 5 pfn $2
STR_LEN 0 warnlvl 10
TERMINATED 6 txt 1
HARD_MAX 0 warnlvl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 start 0-u64max[c]
UNITS 3 start unit_byte
UNITS 4 end unit_byte
UNITS 5 pfn unit_page
HALF_LOCKED2 global &pgd_lock

arch/x86/mm/pat/set_memory.c static_protections() -> check_conflict()

Type Parameter Key Value
PARAM_VALUE 0 warnlvl 0-2
PARAM_VALUE 2 val 0,2
PARAM_VALUE 6 txt 619537839214559232
BUF_SIZE 6 txt 10
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
DATA_SOURCE 0 warnlvl $5
DATA_SOURCE 1 prot $0
DATA_SOURCE 2 val r protect_rodata
DATA_SOURCE 3 start $1
DATA_SOURCE 5 pfn $2
STR_LEN 0 warnlvl 9
TERMINATED 6 txt 1
HARD_MAX 0 warnlvl 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 start 0-u64max[c]
UNITS 3 start unit_byte
UNITS 4 end unit_byte
UNITS 5 pfn unit_page
HALF_LOCKED2 global &pgd_lock