Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/amd_node.c amd_smn_init() -> get_next_root()

Type Parameter Key Value
PARAM_VALUE 0 root 0,4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 root->devfn 0
PARAM_VALUE 0 root->driver_exclusive_resource.child 4096-ptr_max
PARAM_VALUE 0 root->driver_exclusive_resource.flags 0-2147483646,4294967296-u64max
PARAM_VALUE 0 root->vendor 4130,7572
LOCK2 _T->lock

arch/x86/kernel/amd_node.c amd_smn_init() -> get_next_root()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 root->devfn 0
PARAM_VALUE 0 root->driver_exclusive_resource.child 4096-ptr_max
PARAM_VALUE 0 root->driver_exclusive_resource.flags 0-2147483646,4294967296-u64max
PARAM_VALUE 0 root->vendor 4130,7572
DATA_SOURCE 0 root r get_next_root
LOCK2 _T->lock

arch/x86/kernel/amd_node.c amd_smn_init() -> get_next_root()

Type Parameter Key Value
PARAM_VALUE 0 root 0,4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 root->devfn 0
PARAM_VALUE 0 root->vendor 4130,7572
LOCK2 _T->lock

arch/x86/kernel/amd_node.c amd_smn_init() -> get_next_root()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 root->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 root->devfn 0
PARAM_VALUE 0 root->vendor 4130,7572
DATA_SOURCE 0 root r get_next_root
LOCK2 _T->lock