函数逻辑报告 |
Source Code:lib\test_xarray.c |
Create Date:2022-07-27 07:31:04 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:check_reserve
函数原型:static noinline void check_reserve(struct xarray *xa)
返回类型:void
参数:
类型 | 参数 | 名称 |
---|---|---|
struct xarray * | xa |
405 | XA_BUG_ON(xa, !xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
407 | XA_BUG_ON(xa, xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
408 | XA_BUG_ON(xa, xa_load() - Load an entry from an XArray.*@xa: XArray.*@index: index into array.* Context: Any context. Takes and releases the RCU lock.* Return: The entry at @index in @xa.) |
410 | XA_BUG_ON(xa, !xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
414 | XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_NOWAIT) != NULL) |
416 | xa_erase_index(xa, 12345678) |
417 | XA_BUG_ON(xa, !xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
424 | xa_erase_index(xa, 12345678) |
425 | XA_BUG_ON(xa, !xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
431 | XA_BUG_ON(xa, xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
433 | XA_BUG_ON(xa, !xa_empty() - Determine if an array has any present entries.*@xa: XArray.* Context: Any context.* Return: %true if the array contains only NULL pointers.) |
436 | xa_store_index(xa, 5, GFP_KERNEL) |
438 | xa_store_index(xa, 7, GFP_KERNEL) |
440 | count等于0 |
名称 | 描述 |
---|---|
xarray_checks |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |