9477b4ad70
Both the init_timer() and timer_setup() APIs have been removed. This script will not be needed any more. Signed-off-by: Kees Cook <keescook@chromium.org> |
||
---|---|---|
.. | ||
alloc | ||
debugfs | ||
check_bq27xxx_data.cocci | ||
d_find_alias.cocci | ||
drm-get-put.cocci | ||
err_cast.cocci | ||
kstrdup.cocci | ||
memdup.cocci | ||
memdup_user.cocci | ||
platform_no_drv_owner.cocci | ||
pm_runtime.cocci | ||
ptr_ret.cocci | ||
resource_size.cocci | ||
simple_open.cocci | ||
vma_pages.cocci |