coccinelle patches for 5.16-rc1

Update MAINTAINERS information (mailing list, web page, etc).

Add a semantic patch from Wen Yang to check for do_div calls that may
cause truncation, motivated by
commit b0ab99e7736a ("sched: Fix possible divide by zero in avg_atom() calculation")

Signed-off-by: Julia Lawall <>
coccinelle: update Coccinelle entry

Update mailing list, website, and tree.  Drop Michal Marek as a
maintainer, who has not participated in a long time.

Signed-off-by: Julia Lawall <>
Reviewed-by: Kees Cook <>
1 file changed