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> |
||
---|---|---|
.. | ||
api | ||
free | ||
iterators | ||
locks | ||
misc | ||
null | ||
tests |