3 ms·

Sounds like the AMD64 red zone, which can't be used in the kernel context.

• dpc_pw 7y ago
  Aarch64. It was just a minor gcc bug.