Defined in 2 files as a struct:

Defined in 20 files as a prototype:

Defined in 12 files as a member:

Defined in 1 files as a macro:

Defined in 1 files as a label:

Defined in 30 files as a function:

Referenced in 118 files:

Smatch caller information:

arch/x86/kernel/traps.c __exc_alignment_check() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 4298279375327141888
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->orig_ax 0-u32max,u64max
BUF_SIZE 0 str 21
CAPPED_DATA 1 regs 1
DATA_SOURCE 1 regs $0
DATA_SOURCE 2 err $1
STR_LEN 0 str 20
TERMINATED 0 str 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/traps.c __exc_bounds() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 6701414469984448512
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->fred_ss.type 3
PARAM_VALUE 1 regs->fred_ss.vector 5
PARAM_VALUE 1 regs->orig_ax u64max
PARAM_VALUE 2 err 0
BUF_SIZE 0 str 7
CAPPED_DATA 1 regs 1
DATA_SOURCE 1 regs $0
STR_LEN 0 str 6
TERMINATED 0 str 1
NOCHECK_CALL

arch/x86/kernel/traps.c __exc_device_not_available() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 7164542197102030848
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->fred_ss.type 3
PARAM_VALUE 1 regs->fred_ss.vector 7
PARAM_VALUE 1 regs->orig_ax u64max
PARAM_VALUE 2 err 0
BUF_SIZE 0 str 25
CAPPED_DATA 1 regs 1
DATA_SOURCE 1 regs $0
STR_LEN 0 str 24
TERMINATED 0 str 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 1 regs 4096-ptr_max
BUF_SIZE 0 str 5,7,9,12-16,20,28
BUF_SIZE 0 str 5,7,9,12-16,20,28
CAPPED_DATA 1 regs 1
DATA_SOURCE 0 str $2
DATA_SOURCE 1 regs $3
DATA_SOURCE 2 err $4
STR_LEN 0 str (-1),8,11-14,19,27
STR_LEN 1 regs (-1),8,11-14,19,27
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/traps.c exc_double_fault() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 8715005945540460544
PARAM_VALUE 1 regs 4096-ptr_max
BUF_SIZE 0 str 13
DATA_SOURCE 1 regs $0
DATA_SOURCE 2 err $1
STR_LEN 0 str 12
TERMINATED 0 str 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

arch/x86/kernel/traps.c exc_int3() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 9201045629697069056
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 err 0
BUF_SIZE 0 str 5
CAPPED_DATA 1 regs 1
DATA_SOURCE 1 regs $0
STR_LEN 0 str 4
TERMINATED 0 str 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

arch/x86/kernel/traps.c handle_stack_overflow() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 1842748667911802880
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 err 0
BUF_SIZE 0 str 17
DATA_SOURCE 1 regs $0
STR_LEN 0 str 16
TERMINATED 0 str 1
PREEMPT_ADD
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 str 872942923147599872,8646749435844235264
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->fred_ss.type 3
PARAM_VALUE 1 regs->fred_ss.vector 16,19
PARAM_VALUE 1 regs->orig_ax u64max
PARAM_VALUE 2 err 0
BUF_SIZE 0 str 14-15
BUF_SIZE 0 str 14-15
CAPPED_DATA 1 regs 1
DATA_SOURCE 1 regs $0
STR_LEN 0 str 13-14
STR_LEN 0 str 13-14
BIT_INFO 0 str 0x41d40c4a9460000,0x7fff7cfeab6f7000
BIT_INFO 0 str 0x41d40c4a9460000,0x7fff7cfeab6f7000
TERMINATED 0 str 1
HARD_MAX 1 regs->fred_ss.vector 19
NOCHECK_CALL

arch/x86/entry/entry_fred.c fred_bad_type() -> die()

Type Parameter Key Value
PARAM_VALUE 0 str 3816061374356750336
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->fred_cs.sl 1-3
PARAM_VALUE 1 regs->fred_ss.type 1-15
PARAM_VALUE 1 regs->orig_ax u64max
BUF_SIZE 0 str 28
DATA_SOURCE 1 regs $0
DATA_SOURCE 2 err $1
FUZZY_MAX 1 regs->fred_cs.sl 1
STR_LEN 0 str 27
TERMINATED 0 str 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL