函数逻辑报告 |
Source Code:mm\page_alloc.c |
Create Date:2022-07-27 16:33:30 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:free_pages_check_bad
函数原型:static void free_pages_check_bad(struct page *page)
返回类型:void
参数:
类型 | 参数 | 名称 |
---|---|---|
struct page * | page |
1033 | bad_reason = NULL |
1034 | bad_flags等于0 |
1036 | 如果此条件成立可能性小(为编译器优化)(atomic_read( & * If the page can be mapped to userspace, encodes the number * of times this page is referenced by a page table.) != - 1)则bad_reason等于"nonzero mapcount" |
1038 | 如果此条件成立可能性小(为编译器优化)( See page-flags.h for PAGE_MAPPING_FLAGS != NULL)则bad_reason等于"non-NULL mapping" |
1040 | 如果此条件成立可能性小(为编译器优化)(page_ref_count(page) != 0)则bad_reason等于"nonzero _refcount" |
1043 | bad_reason等于"PAGE_FLAGS_CHECK_AT_FREE flag(s) set" |
1047 | 如果此条件成立可能性小(为编译器优化)(mem_cgroup)则bad_reason等于"page still charged to cgroup" |
1050 | bad_page(page, bad_reason, bad_flags) |
名称 | 描述 |
---|---|
free_pages_check |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |