函数逻辑报告 |
Source Code:kernel\kexec_core.c |
Create Date:2022-07-27 12:03:53 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:sanity_check_segment_list
函数原型:int sanity_check_segment_list(struct kimage *image)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
struct kimage * | image |
151 | nr_segments等于nr_segments |
152 | total_pages等于0 |
153 | nr_pages等于totalram_pages() |
168 | 以i小于nr_segments循环 |
173 | 如果mstart大于mend则返回:负EADDRNOTAVAIL |
175 | 如果mstart按位与PAGE_MASK的反或mend按位与PAGE_MASK的反则返回:负EADDRNOTAVAIL |
186 | 以i小于nr_segments循环 |
208 | 以i小于nr_segments循环 |
218 | 以i小于nr_segments循环 |
219 | 如果PAGE_COUNT(memsz)大于nr_pages除2则返回:负EINVAL |
222 | total_pages加等于PAGE_COUNT(memsz) |
225 | 如果total_pages大于nr_pages除2则返回:负EINVAL |
239 | 以i小于nr_segments循环 |
245 | 如果mstart小于phys_to_boot_phys(start)或mend大于phys_to_boot_phys(end)则返回:负EADDRNOTAVAIL |
251 | 返回:0 |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |