函数逻辑报告 |
Source Code:kernel\futex.c |
Create Date:2022-07-27 11:55:21 |
Last Modify:2020-03-17 15:28:32 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:SYSCALL_DEFINE6
函数原型:SYSCALL_DEFINE6(futex, unsigned int __user *, uaddr, int, op, unsigned int, val, struct __kernel_timespec __user *, utime, unsigned int __user *, uaddr2, unsigned int, val3)
返回类型:
参数:无
3917 | val2等于0 |
3918 | cmd等于op按位与FUTEX_CMD_MASK |
3920 | 如果utime且cmd恒等于Second argument to futex syscall 或cmd恒等于FUTEX_LOCK_PI或cmd恒等于FUTEX_WAIT_BITSET或cmd恒等于FUTEX_WAIT_REQUEUE_PI的值则 |
3923 | 如果此条件成立可能性小(为编译器优化)(should_fail_futex(!(op & FUTEX_PRIVATE_FLAG)))则返回:负EFAULT |
3925 | 如果get_timespec64( & ts, utime)则返回:负EFAULT |
3939 | 如果cmd恒等于FUTEX_REQUEUE或cmd恒等于FUTEX_CMP_REQUEUE或cmd恒等于FUTEX_CMP_REQUEUE_PI或cmd恒等于FUTEX_WAKE_OP则val2等于utime |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |