Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 19 files:

Smatch caller information:

kernel/bpf/stream.c bpf_stream_backlog_fill() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head r llist_del_all
LOCK2 &stream->lock
TYPE_LOCK (struct bpf_stream)->lock

drivers/vhost/vhost.c vhost_run_work_kthread_list() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all

drivers/vhost/vhost.c vhost_run_work_list() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head r llist_del_all
HALF_LOCKED2 &vtsk->exit_mutex
HALF_LOCKED2 &worker->mutex

drivers/infiniband/sw/siw/siw_qp_tx.c siw_run_sq() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
TASK_NOT_RUNNING

net/sunrpc/svc_xprt.c lwq_enqueue_batch() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &nfs_callback_mutex
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 global &nlmsvc_mutex

block/blk-mq.c blk_complete_reqs() -> llist_reverse_order()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/smp.c __flush_smp_call_function_queue() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

fs/f2fs/segment.c issue_flush_thread() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all

drivers/acpi/apei/ghes.c ghes_print_queued_estatus() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
PREEMPT_ADD
HALF_LOCKED2 &ghes_notify_lock_nmi
HALF_LOCKED2 rcu_read

drivers/acpi/apei/ghes.c ghes_proc_in_irq() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all

fs/f2fs/checkpoint.c __checkpoint_and_complete_reqs() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head r llist_del_all
RX_PATH
TASK_NOT_RUNNING

net/ipv4/udp.c __udp_enqueue_schedule_skb() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &list->lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/target/target_core_transport.c target_queued_submit_work() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head r llist_del_all
HALF_LOCKED2 &pool->lock

mm/mmu_notifier.c mn_itree_finish_pass() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

arch/x86/kernel/cpu/mce/genpool.c mce_gen_pool_process() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head r llist_del_all
HALF_LOCKED2 &pool->lock

lib/closure.c __closure_wake_up() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/md/raid5.c release_stripe_list() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
PREEMPT_ADD
LOCK2 &conf->device_lock
LOCK2 irq
TYPE_LOCK (struct r5conf)->device_lock

net/core/dev.c __dev_xmit_skb() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
LOCK2 root_lock
HALF_LOCKED2 &eql->queue.lock
HALF_LOCKED2 &lapb->lock
HALF_LOCKED2 &mgmt_eth_data->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 bh
HALF_LOCKED2 k->lock

lib/lwq.c __lwq_dequeue() -> llist_reverse_order()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &q->lock
HALF_LOCKED2 global &nfs_callback_mutex
TYPE_LOCK (struct lwq)->lock

lib/lwq.c lwq_dequeue_all() -> llist_reverse_order()

Type Parameter Key Value
DATA_SOURCE 0 head r llist_del_all
RX_PATH
TASK_NOT_RUNNING

lib/lwq.c lwq_enqueue_batch() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head $0

kernel/bpf/helpers.c bpf_async_irq_worker() -> llist_reverse_order()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
DATA_SOURCE 0 head r llist_del_all