Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 3 signal 11
PARAM_VALUE 4 si_code 1-2,4
PARAM_VALUE 5 pkey 0-15
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
DATA_SOURCE 4 si_code $4
DATA_SOURCE 5 pkey $3
HARD_MAX 4 si_code 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 address unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 3 signal 7
PARAM_VALUE 4 si_code 2
PARAM_VALUE 5 pkey 0
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
BIT_INFO 0 regs->flags 0x200,0xffffffffffffffff
NOCHECK_CALL

arch/x86/mm/fault.c do_user_addr_fault() -> kernelmode_fixup_or_oops()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->cs 1-u16max
PARAM_VALUE 3 signal 7
PARAM_VALUE 4 si_code 2
PARAM_VALUE 5 pkey 0
CAPPED_DATA 0 regs 1
CAPPED_DATA 2 address 1
CAPPED_DATA 2 address 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
BIT_INFO 0 regs->flags 0x200,0xffffffffffffffff
NOCHECK_CALL

arch/x86/mm/fault.c do_user_addr_fault() -> kernelmode_fixup_or_oops()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->cs 1-u16max
PARAM_VALUE 3 signal 7
PARAM_VALUE 4 si_code 2
PARAM_VALUE 5 pkey 0
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
BIT_INFO 0 regs->flags 0x200,0xffffffffffffffff
NOCHECK_CALL

arch/x86/mm/fault.c do_user_addr_fault() -> kernelmode_fixup_or_oops()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 3 signal 0
PARAM_VALUE 4 si_code 0
PARAM_VALUE 5 pkey 0
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
BIT_INFO 0 regs->flags 0x200,0xffffffffffffffff
NOCHECK_CALL

arch/x86/mm/fault.c do_user_addr_fault() -> kernelmode_fixup_or_oops()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 3 signal 11
PARAM_VALUE 4 si_code 1
PARAM_VALUE 5 pkey 0
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1
DATA_SOURCE 2 address $2
BIT_INFO 0 regs->flags 0x200,0xffffffffffffffff
NOCHECK_CALL