Nit: did you mean CC: stable@vger.kernel.org (colon instead of semicolon)? Also, would it be better to avoid using the formatting built-in to DMEMIT()? Finally, are there any architectures for which gcc or clang make this non-constant-time?