On Mon, Nov 02, 2009 at 11:33:46AM -0800, David Daney wrote: > Running a 64-bit kernel on a 64-bit CPU without an FPU would cause the > emulator to run in 32-bit mode. The c0_Status.FR bit is wired to zero > on systems without an FPU, so using that bit to decide how the > emulator behaves doesn't allow for proper emulation on 64-bit FPU-less > processors. > > Instead, we need to select the emulator mode based on the user-space > ABI. Since the thread flag TIF_32BIT_REGS is used to set > c0_Status.FR, we can just use it to decide if the emulator should be > in 32-bit or 64-bit mode. Thanks, applied! Ralf
