Defined in 1 files as a prototype:

Defined in 1 files as a label:

Defined in 4 files as a function:

Referenced in 7 files:

Smatch caller information:

arch/x86/kernel/dumpstack.c die() -> __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-17,20-21,25,28
BUF_SIZE 0 str 5,7,9,12-17,20-21,25,28
CAPPED_DATA 1 regs 1
DATA_SOURCE 0 str $0
DATA_SOURCE 1 regs $1
DATA_SOURCE 2 err $2
STR_LEN 0 str (-1),4,6,12-14,16,20,24,27
STR_LEN 0 str (-1),4,6,12-14,16,20,24,27
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 str 2532120163528060928
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 err s64min-(-1),1-s64max
BUF_SIZE 0 str 5
CAPPED_DATA 1 regs 1
DATA_SOURCE 1 regs $0
DATA_SOURCE 2 err $1
STR_LEN 0 str 4
TERMINATED 0 str 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/mm/fault.c pgtable_bad() -> __die()

Type Parameter Key Value
PARAM_VALUE 0 str 4872888009039986688
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 err s64min-(-1),8-s64max
BUF_SIZE 0 str 14
DATA_SOURCE 1 regs $0
DATA_SOURCE 2 err $1
STR_LEN 0 str 13
BIT_INFO 2 err 0x8,0xffffffffffffffff
TERMINATED 0 str 1
PREEMPT_ADD

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

Type Parameter Key Value
PARAM_VALUE 0 str 5791329598349430784
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->fred_cs.sl 0
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
STR_LEN 0 str 27
TERMINATED 0 str 1
PREEMPT_ADD <- disables preempt