Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 drnum 0-3
FUZZY_MAX 0 drnum 3
HARD_MAX 0 drnum 3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 len 0-255
HOST_DATA 2 type 0-255

arch/x86/kernel/hw_breakpoint.c encode_dr7() -> __encode_dr7()

Type Parameter Key Value
PARAM_VALUE 0 drnum 0-3
DATA_SOURCE 0 drnum $0
DATA_SOURCE 1 len $1
DATA_SOURCE 2 type $2
FUZZY_MAX 0 drnum 3
HARD_MAX 0 drnum 3
RX_PATH
TASK_NOT_RUNNING