函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:lib\test_xarray.c Create Date:2022-07-27 07:31:30
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：check_move

函数原型：static noinline void check_move(struct xarray *xa)

返回类型：void

参数：

类型参数名称
struct xarray *xa
1234  XA_STATE() - Declare an XArray operation state.*@name: Name of this operation state (usually xas).*@array: Array to operate on.*@index: Initial index of interest.* Declare and initialise an xa_state on the stack.(xas, xa, (1 << 16) - 1)
1237  以i小于1左移16位循环XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL)
1240  _read_lock() - mark the beginning of an RCU read-side critical section* When synchronize_rcu() is invoked on one CPU while other CPUs* are within RCU read-side critical sections, then the* synchronize_rcu() is guaranteed to block until after all the other
1241  循环
1242  entry等于xas_prev() - Move iterator to previous index.*@xas: XArray operation state.* If the @xas was in an error state, it will remain in an error state* and this function will return %NULL. If the @xas has never been walked,
1243  i自减
1244  XA_BUG_ON(xa, entry != xa_mk_index(i))
1245  XA_BUG_ON(xa, i != xa_index)
1246  当i不等于0循环
1248  XA_BUG_ON(xa, xas_prev() - Move iterator to previous index.*@xas: XArray operation state.* If the @xas was in an error state, it will remain in an error state* and this function will return %NULL. If the @xas has never been walked, != NULL)
1249  XA_BUG_ON(xa, xa_index != ULONG_MAX)
1251  循环
1252  entry等于xas_next() - Move state to next index.*@xas: XArray operation state.* If the @xas was in an error state, it will remain in an error state* and this function will return %NULL. If the @xas has never been walked,
1253  XA_BUG_ON(xa, entry != xa_mk_index(i))
1254  XA_BUG_ON(xa, i != xa_index)
1255  i自加
1256  当i小于1左移16位循环
1257  _read_unlock() - marks the end of an RCU read-side critical section.* In most situations, rcu_read_unlock() is immune from deadlock.* However, in kernels built with CONFIG_RCU_BOOST, rcu_read_unlock()
1259  以i小于1左移15位循环xa_erase_index(xa, i)
1262  i等于xa_index
1264  _read_lock() - mark the beginning of an RCU read-side critical section* When synchronize_rcu() is invoked on one CPU while other CPUs* are within RCU read-side critical sections, then the* synchronize_rcu() is guaranteed to block until after all the other
1265  循环
1266  entry等于xas_prev() - Move iterator to previous index.*@xas: XArray operation state.* If the @xas was in an error state, it will remain in an error state* and this function will return %NULL. If the @xas has never been walked,
1267  i自减
1268  如果i小于1左移8位或i大于等于1左移15位则XA_BUG_ON(xa, entry != xa_mk_index(i))
1270  否则XA_BUG_ON(xa, entry != NULL)
1272  XA_BUG_ON(xa, i != xa_index)
1273  当i不等于0循环
1275  XA_BUG_ON(xa, xas_prev() - Move iterator to previous index.*@xas: XArray operation state.* If the @xas was in an error state, it will remain in an error state* and this function will return %NULL. If the @xas has never been walked, != NULL)
1276  XA_BUG_ON(xa, xa_index != ULONG_MAX)
1278  循环
1279  entry等于xas_next() - Move state to next index.*@xas: XArray operation state.* If the @xas was in an error state, it will remain in an error state* and this function will return %NULL. If the @xas has never been walked,
1280  如果i小于1左移8位或i大于等于1左移15位则XA_BUG_ON(xa, entry != xa_mk_index(i))
1282  否则XA_BUG_ON(xa, entry != NULL)
1284  XA_BUG_ON(xa, i != xa_index)
1285  i自加
1286  当i小于1左移16位循环
1287  _read_unlock() - marks the end of an RCU read-side critical section.* In most situations, rcu_read_unlock() is immune from deadlock.* However, in kernels built with CONFIG_RCU_BOOST, rcu_read_unlock()
1289  xa_destroy() - Free all internal data structures.*@xa: XArray.* After calling this function, the XArray is empty and has freed all memory* allocated for its internal data structures. You are responsible for* freeing the objects referenced by the XArray.
1291  check_move_tiny(xa)
1292  check_move_max(xa)
1294  以i小于16循环check_move_small(xa, 1UL << i)
1297  以i小于16循环check_move_small(xa, (1UL << i) - 1)
调用者
名称描述
xarray_checks