函数逻辑报告 | 
Source Code:kernel\locking\lockdep.c | 
Create Date:2022-07-27 10:50:56 | 
| Last Modify:2020-03-17 14:16:01 | Copyright©Brick | 
| 首页 | 函数Tree | 
| 注解内核,赢得工具 | 下载SCCT | English | 
函数名称:print_freed_lock_bug
函数原型:static void print_freed_lock_bug(struct task_struct *curr, const void *mem_from, const void *mem_to, struct held_lock *hlock)
返回类型:void
参数:
| 类型 | 参数 | 名称 | 
|---|---|---|
| struct task_struct * | curr | |
| const void * | mem_from | |
| const void * | mem_to | |
| struct held_lock * | hlock | 
| 5250 | 打印警告信息("\n") | 
| 5251 | 打印警告信息("=========================\n") | 
| 5252 | 打印警告信息("WARNING: held lock freed!\n") | 
| 5253 | print_kernel_ident() | 
| 5254 | 打印警告信息("-------------------------\n") | 
| 5255 | 打印警告信息("%s/%d is freeing memory %px-%px, with a lock still held there!\n", 是否使用FPU, task_pid_nr(curr), mem_from, mem_to - 1) | 
| 5257 | print_lock(hlock) | 
| 5258 | lockdep_print_held_locks(curr) | 
| 5260 | 打印警告信息("\nstack backtrace:\n") | 
| 5261 | dump_stack() | 
| 名称 | 描述 | 
|---|---|
| debug_check_no_locks_freed | Called when kernel memory is freed (or unmapped), or if a lock* is destroyed or reinitialized - this code checks whether there is* any held lock in the memory range of  | 
| 源代码转换工具 开放的插件接口  | X | 
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码  |