Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->fred_ss.type 1-2,4-5,7-15
PARAM_VALUE 0 regs->orig_ax u64max
DATA_SOURCE 0 regs $0

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

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->fred_ss.type 1-2,5,8-15
PARAM_VALUE 0 regs->orig_ax u64max
DATA_SOURCE 0 regs $0

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

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->fred_ss.type 3
PARAM_VALUE 0 regs->fred_ss.vector 2-4,9,15,22-28,30-255
PARAM_VALUE 0 regs->orig_ax u64max
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1

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

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->fred_ss.type 6
PARAM_VALUE 0 regs->fred_ss.vector 0-2,5-255
PARAM_VALUE 0 regs->orig_ax u64max
DATA_SOURCE 0 regs $0
DATA_SOURCE 1 error_code $1