Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/bugs.c bhi_apply_mitigation() -> retpoline_seq_enabled()

Type Parameter Key Value

arch/x86/kernel/cpu/bugs.c cpu_wants_ibpb_bpf() -> retpoline_seq_enabled()

Type Parameter Key Value

arch/x86/kernel/cpu/bugs.c spectre_bhi_state() -> retpoline_seq_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex