64-bit Kernel Question

[Bryn M. Reeves]

On Thu, 2009-03-12 at 17:46 +0100, Kevin Kofler wrote:
> John Summerfield wrote:
> > I rather think those extra registers are available to 32-bit code.
> 
> They're not, only 64-bit code can access them.

You can't even encode them using the 32-bit ISA (if you try you'll get
an illegal opcode exception, much like you'd see in the case of a kernel
BUG() macro).

Regards,
Bryn.