Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/proc_sysctl.c start_unregistering() -> proc_sys_invalidate_dcache()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->nreg 0
PARAM_VALUE 0 head->parent 1-u64max
PARAM_VALUE 0 head->root->lookup 0,5392269646949294080,6047126420687204352,6897604583430860800,7236783754730508288,8683046458472632320
PARAM_VALUE 0 head->root->permissions 0,38113765950406656,1571376314402762752,2172075278380670976,4112528104768065536,8240891039179014144
PARAM_VALUE 0 head->root->set_ownership 0,4425853933097160704,4587890941347561472,4931669174917259264,6223890035077656576
PARAM_VALUE 0 head->unregistering 6314552520588304384,(-22)
PARAM_VALUE 0 head->unregistering->done 0
PARAM_VALUE 0 head->unregistering->wait.lock.magic 3735899821
PARAM_VALUE 0 head->unregistering->wait.lock.owner (-1)
PARAM_VALUE 0 head->unregistering->wait.lock.owner_cpu u32max
PARAM_VALUE 0 head->unregistering->wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 head->unregistering->wait.task_list.prev 4096-ptr_max
BUF_SIZE 0 head (-1),88-4216
BUF_SIZE 0 head (-1),88-4216
BUF_SIZE 0 head->unregistering (-1),96
DATA_SOURCE 0 head $0
BIT_INFO 0 head->unregistering 0x57a1cc0fc136a000,0xffffffffffffffea
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL