Defined in 4 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/entry/common.c __preempt_count_nmi_exit() -> __preempt_count_sub()

Type Parameter Key Value
PARAM_VALUE 0 val 285212672
PREEMPT_ADD
NOCHECK_CALL

kernel/softirq.c __local_bh_enable() -> __preempt_count_sub()

Type Parameter Key Value
PARAM_VALUE 0 val 256,512
CAPPED_DATA 0 val 1
DATA_SOURCE 0 val $0
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/softirq.c __local_bh_enable_ip() -> __preempt_count_sub()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

lib/smp_processor_id.c check_preemption_disabled() -> __preempt_count_sub()

Type Parameter Key Value
PARAM_VALUE 0 val 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

kernel/sched/core.c preempt_count_sub() -> __preempt_count_sub()

Type Parameter Key Value
DATA_SOURCE 0 val $0
NOCHECK_CALL

kernel/sched/core.c preempt_schedule_common() -> __preempt_count_sub()

Type Parameter Key Value
PARAM_VALUE 0 val 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

kernel/sched/core.c preempt_schedule_notrace() -> __preempt_count_sub()

Type Parameter Key Value
PARAM_VALUE 0 val 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL