Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/mm/fault.c __bad_area_nosemaphore() -> fixup_vdso_exception()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 1 trapnr 14
PARAM_VALUE 3 fault_addr 0-18446744073709551614
CAPPED_DATA 0 regs 1
CAPPED_DATA 3 fault_addr 1
CAPPED_DATA 3 fault_addr 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 2 error_code $1 [m]
DATA_SOURCE 3 fault_addr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 3 fault_addr unit_byte

arch/x86/mm/fault.c do_sigbus() -> fixup_vdso_exception()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 1 trapnr 14
PARAM_VALUE 3 fault_addr 0-18446744073709551614
CAPPED_DATA 0 regs 1
CAPPED_DATA 3 fault_addr 1
CAPPED_DATA 3 fault_addr 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 2 error_code $1 [m]
DATA_SOURCE 3 fault_addr $2
BIT_INFO 0 regs->flags 0x200,0xffffffffffffffff

arch/x86/kernel/traps.c __exc_general_protection() -> fixup_vdso_exception()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 1 trapnr 13
PARAM_VALUE 3 fault_addr 0
CAPPED_DATA 0 regs 1
CAPPED_DATA 0 regs->cs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 2 error_code $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/traps.c do_trap_no_signal() -> fixup_vdso_exception()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 1 trapnr 0,3-6,9-12,17
PARAM_VALUE 3 fault_addr 0
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $3
DATA_SOURCE 1 trapnr $1
DATA_SOURCE 2 error_code $4
STR_LEN 0 regs (-1),8,11-14,19,27
STR_LEN 0 regs (-1),8,11-14,19,27
STR_LEN 1 trapnr (-1),8,11-14,19,27
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/traps.c math_error() -> fixup_vdso_exception()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 1 trapnr 16,19
PARAM_VALUE 2 error_code 0
PARAM_VALUE 3 fault_addr 0
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 trapnr $1
BIT_INFO 1 trapnr 0x10,0x1f
HARD_MAX 1 trapnr 19