Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/fault.c spurious_kernel_fault() -> spurious_kernel_fault_check()

Type Parameter Key Value
PARAM_VALUE 0 error_code 3,17
PARAM_VALUE 1 pte 4096-ptr_max
DATA_SOURCE 0 error_code $0
DATA_SOURCE 1 pte r pud_offset
BIT_INFO 0 error_code 0x1,0x13
BIT_INFO 0 error_code 0x1,0x13
PREEMPT_ADD

arch/x86/mm/fault.c spurious_kernel_fault() -> spurious_kernel_fault_check()

Type Parameter Key Value
PARAM_VALUE 0 error_code 3,17
PARAM_VALUE 1 pte 4096-ptr_max
DATA_SOURCE 0 error_code $0
DATA_SOURCE 1 pte r pmd_offset
BIT_INFO 0 error_code 0x1,0x13
BIT_INFO 0 error_code 0x1,0x13
PREEMPT_ADD

arch/x86/mm/fault.c spurious_kernel_fault() -> spurious_kernel_fault_check()

Type Parameter Key Value
PARAM_VALUE 0 error_code 3,17
PARAM_VALUE 1 pte 4096-ptr_max
DATA_SOURCE 0 error_code $0
DATA_SOURCE 1 pte r pte_offset_kernel
BIT_INFO 0 error_code 0x1,0x13
BIT_INFO 0 error_code 0x1,0x13
PREEMPT_ADD

arch/x86/mm/fault.c spurious_kernel_fault() -> spurious_kernel_fault_check()

Type Parameter Key Value
PARAM_VALUE 0 error_code 3,17
PARAM_VALUE 1 pte 4096-ptr_max
DATA_SOURCE 0 error_code $0
DATA_SOURCE 1 pte r pmd_offset
BIT_INFO 0 error_code 0x1,0x1f
BIT_INFO 0 error_code 0x1,0xffffffffffffffff
PREEMPT_ADD