Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c __purge_vmap_area_lazy() -> node_to_id()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-18446744073709547519
PARAM_VALUE 0 node->lazy.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->lazy.root.rb_node 0
PARAM_VALUE 0 node->purge_list.next 4096-ptr_max
PARAM_VALUE 0 node->purge_list.next->next 4096-ptr_max
PARAM_VALUE 0 node->purge_list.next->prev 4096-ptr_max
PARAM_VALUE 0 node->purge_list.prev 4096-ptr_max
PARAM_VALUE 0 node->purge_list.prev->next 4096-ptr_max
PARAM_VALUE 0 node->purge_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->purge_list.prev->prev 4096-ptr_max
CAPPED_DATA 0 node 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vmap_purge_lock