Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/mm/fault.c page_fault_oops() -> show_fault_oops()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 1 error_code 1-u64max
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 address unit_byte