Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/umip.c fixup_umip_exception() -> umip_printk()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->cs 1-u16max
PARAM_VALUE 0 regs->orig_ax 0-u32max,u64max
PARAM_VALUE 1 log_level 1110528587034095616
PARAM_VALUE 2 fmt 5067083488144982016
BUF_SIZE 1 log_level 3
BUF_SIZE 2 fmt 48
CAPPED_DATA 0 regs 1
CAPPED_DATA 0 regs->cs 1
DATA_SOURCE 0 regs $0
STR_LEN 0 regs 2
STR_LEN 1 log_level 47
TERMINATED 1 log_level 1
TERMINATED 2 fmt 1
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/umip.c fixup_umip_exception() -> umip_printk()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->cs 1-u16max
PARAM_VALUE 0 regs->orig_ax 0-u32max,u64max
PARAM_VALUE 1 log_level 1110528587034095616
PARAM_VALUE 2 fmt 7941616371297067008
BUF_SIZE 1 log_level 3
BUF_SIZE 2 fmt 59
CAPPED_DATA 0 regs 1
CAPPED_DATA 0 regs->cs 1
DATA_SOURCE 0 regs $0
STR_LEN 0 regs 2
STR_LEN 1 log_level 58
TERMINATED 1 log_level 1
TERMINATED 2 fmt 1
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/umip.c force_sig_info_umip_fault() -> umip_printk()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->cs 1-u16max
PARAM_VALUE 1 log_level 7667477890358845440
PARAM_VALUE 2 fmt 3508949792647327744
PARAM_VALUE 3 $ 6
BUF_SIZE 1 log_level 3
BUF_SIZE 2 fmt 32
CAPPED_DATA 0 regs->cs 1
DATA_SOURCE 0 regs $1
STR_LEN 0 regs 2
STR_LEN 1 log_level 31
TERMINATED 1 log_level 1
TERMINATED 2 fmt 1
PREEMPT_ADD
NOCHECK_CALL