[SSI-devel] PATCH: Bug fix for OpenSSI 1.2.0 kernel

[Sudhanshu G. <sud...@gm...>]

Hi!

   While working on a project for OpenSSI I came across this kernel
bug. I spent quite some time trying to find the source of the problem
in my own kernel module, before zeroing in on the buggy code inside
the kernel. Not sure if it is still relevant since 1.2.0 is an older
release now. It involves the is_kernel_text_address() function in
arch/i386/traps.c. This function always returns 1 no matter what the
address. The attached patch solves the problem.

Regards,
Sudhanshu