Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

arch/x86/mm/tlb.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
HALF_LOCKED2 flags

arch/x86/mm/tlb.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
HALF_LOCKED2 flags

arch/x86/mm/tlb.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
HALF_LOCKED2 flags

arch/x86/mm/tlb.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
HALF_LOCKED2 flags

arch/x86/mm/tlb.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
HALF_LOCKED2 flags

arch/x86/kernel/machine_kexec_64.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/machine_kexec_64.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/machine_kexec_64.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/machine_kexec_64.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/machine_kexec_64.c hw_breakpoint_disable() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/nmi.c local_db_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u64max
PARAM_VALUE 1 reg 7
DATA_SOURCE 0 val $0
NOCHECK_CALL

arch/x86/kernel/nmi.c local_db_save() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
NOCHECK_CALL

arch/x86/kernel/hw_breakpoint.c arch_install_hw_breakpoint() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 0-3
FUZZY_MAX 1 reg 3
HARD_MAX 1 reg 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 val unit_byte

arch/x86/kernel/hw_breakpoint.c arch_install_hw_breakpoint() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/hw_breakpoint.c arch_uninstall_hw_breakpoint() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0[c]

arch/x86/kernel/hw_breakpoint.c hw_breakpoint_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags

arch/x86/kernel/hw_breakpoint.c hw_breakpoint_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags

arch/x86/kernel/hw_breakpoint.c hw_breakpoint_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags

arch/x86/kernel/hw_breakpoint.c hw_breakpoint_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags

arch/x86/kernel/hw_breakpoint.c hw_breakpoint_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 4294905840
PARAM_VALUE 1 reg 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags

arch/x86/kernel/hw_breakpoint.c hw_breakpoint_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags

arch/x86/kernel/kgdb.c kgdb_correct_hw_break() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 0-3
FUZZY_MAX 1 reg 3
HARD_MAX 1 reg 3
NOCHECK_CALL
HALF_LOCKED2 rcu_read

arch/x86/kernel/kgdb.c kgdb_correct_hw_break() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 7
NOCHECK_CALL
HALF_LOCKED2 rcu_read

arch/x86/kernel/kgdb.c kgdb_disable_hw_debug() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

arch/x86/kernel/cpu/mce/core.c local_db_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u64max
PARAM_VALUE 1 reg 7
DATA_SOURCE 0 val $0
NOCHECK_CALL

arch/x86/kernel/cpu/mce/core.c local_db_save() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
NOCHECK_CALL

arch/x86/kernel/traps.c debug_read_reset_dr6() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 4294905840
PARAM_VALUE 1 reg 6
NOCHECK_CALL

arch/x86/kernel/traps.c local_db_restore() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u64max
PARAM_VALUE 1 reg 7
DATA_SOURCE 0 val $0
NOCHECK_CALL

arch/x86/kernel/traps.c local_db_save() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
NOCHECK_CALL

arch/x86/kvm/x86.c vcpu_enter_guest() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 irq
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c vcpu_enter_guest() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 irq
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c vcpu_enter_guest() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 irq
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c vcpu_enter_guest() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 2
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 irq
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c vcpu_enter_guest() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 irq
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c vcpu_enter_guest() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 irq
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kernel/cpu/common.c initialize_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 1024
PARAM_VALUE 1 reg 7
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c initialize_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 4294905840
PARAM_VALUE 1 reg 6
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c initialize_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 3
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c initialize_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 2
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c initialize_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 1
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c initialize_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 0
PARAM_VALUE 1 reg 0
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kvm/vmx/vmx.c vmx_sync_dirty_debug_regs() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 0 val 4294905840
PARAM_VALUE 1 reg 6
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> set_debugreg()

Type Parameter Key Value
PARAM_VALUE 1 reg 6
NOCHECK_CALL