diff options
| author | wuchi <wuchi.zero@gmail.com> | 2022-08-30 00:26:09 +0800 |
|---|---|---|
| committer | Paul Moore <paul@paul-moore.com> | 2022-08-29 19:47:03 -0400 |
| commit | 501e4bb102ee2f380ab94abbf3d35dff9d4719a2 (patch) | |
| tree | 0be19d6c734c597cbdd993d95220adbbb765bb23 /scripts/gdb/linux/modules.py | |
| parent | c3f3ea8af44d0c5fba79fe8b198087342d0c7e04 (diff) | |
audit: use time_after to compare time
Using time_{*} macro to compare time is better
Signed-off-by: wuchi <wuchi.zero@gmail.com>
Signed-off-by: Paul Moore <paul@paul-moore.com>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions