Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/net_namespace.c __register_pernet_operations() -> ops_undo_single()

Type Parameter Key Value
PARAM_VALUE 0 ops 4096-ptr_max
PARAM_VALUE 0 ops->id 0,4096-ptr_max
PARAM_VALUE 0 ops->init 1-u64max
PARAM_VALUE 0 *ops->id 0-s32max
PARAM_VALUE 1 net_exit_list 3551823620433199104
PARAM_VALUE 1 net_exit_list->next 3551823620433199104
PARAM_VALUE 1 net_exit_list->prev 4096-ptr_max
DATA_SOURCE 0 ops $1
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

net/core/net_namespace.c __unregister_pernet_operations() -> ops_undo_single()

Type Parameter Key Value
PARAM_VALUE 0 ops 4096-ptr_max
PARAM_VALUE 1 net_exit_list 5436347165121437696
PARAM_VALUE 1 net_exit_list->next 5436347165121437696
PARAM_VALUE 1 net_exit_list->prev 4096-ptr_max
DATA_SOURCE 0 ops $0
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem