Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kernel/cpu/mce/core.c exc_machine_check_kernel() -> do_machine_check()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
DATA_SOURCE 0 regs $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

arch/x86/kernel/cpu/mce/core.c exc_machine_check_user() -> do_machine_check()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
PARAM_VALUE 0 regs->cs 1-u16max
CAPPED_DATA 0 regs 1
DATA_SOURCE 0 regs $0
NOCHECK_CALL

arch/x86/kvm/svm/svm.c kvm_machine_check() -> do_machine_check()

Type Parameter Key Value
PARAM_VALUE 0 regs 5567953626536038400
PARAM_VALUE 0 regs->ax 0
PARAM_VALUE 0 regs->bp 0
PARAM_VALUE 0 regs->bx 0
PARAM_VALUE 0 regs->cs 3
PARAM_VALUE 0 regs->csx 3
PARAM_VALUE 0 regs->cx 0
PARAM_VALUE 0 regs->di 0
PARAM_VALUE 0 regs->dx 0
PARAM_VALUE 0 regs->flags 512
PARAM_VALUE 0 regs->fred_ss.nmi 0
PARAM_VALUE 0 regs->ip 0
PARAM_VALUE 0 regs->orig_ax 0
PARAM_VALUE 0 regs->r10 0
PARAM_VALUE 0 regs->r11 0
PARAM_VALUE 0 regs->r12 0
PARAM_VALUE 0 regs->r13 0
PARAM_VALUE 0 regs->r14 0
PARAM_VALUE 0 regs->r15 0
PARAM_VALUE 0 regs->r8 0
PARAM_VALUE 0 regs->r9 0
PARAM_VALUE 0 regs->si 0
PARAM_VALUE 0 regs->sp 0
PARAM_VALUE 0 regs->ss 0
PARAM_VALUE 0 regs->ssx 0
NOCHECK_CALL

arch/x86/kernel/cpu/mce/inject.c raise_exception() -> do_machine_check()

Type Parameter Key Value
PARAM_VALUE 0 regs 4096-ptr_max
BUF_SIZE 0 regs (-1),168
BUF_SIZE 0 regs (-1),168
DATA_SOURCE 0 regs $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 global &mce_inject_mutex
HALF_LOCKED2 rcu_read

arch/x86/kvm/vmx/vmx.c kvm_machine_check() -> do_machine_check()

Type Parameter Key Value
PARAM_VALUE 0 regs 3550375519044247552
PARAM_VALUE 0 regs->ax 0
PARAM_VALUE 0 regs->bp 0
PARAM_VALUE 0 regs->bx 0
PARAM_VALUE 0 regs->cs 3
PARAM_VALUE 0 regs->csx 3
PARAM_VALUE 0 regs->cx 0
PARAM_VALUE 0 regs->di 0
PARAM_VALUE 0 regs->dx 0
PARAM_VALUE 0 regs->flags 512
PARAM_VALUE 0 regs->fred_ss.nmi 0
PARAM_VALUE 0 regs->ip 0
PARAM_VALUE 0 regs->orig_ax 0
PARAM_VALUE 0 regs->r10 0
PARAM_VALUE 0 regs->r11 0
PARAM_VALUE 0 regs->r12 0
PARAM_VALUE 0 regs->r13 0
PARAM_VALUE 0 regs->r14 0
PARAM_VALUE 0 regs->r15 0
PARAM_VALUE 0 regs->r8 0
PARAM_VALUE 0 regs->r9 0
PARAM_VALUE 0 regs->si 0
PARAM_VALUE 0 regs->sp 0
PARAM_VALUE 0 regs->ss 0
PARAM_VALUE 0 regs->ssx 0
NOCHECK_CALL