123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588 |
- /*++
- Copyright (c) 2015 Minoca Corp.
- This file is licensed under the terms of the GNU General Public License
- version 3. Alternative licensing terms are available. Contact
- info@minocacorp.com for details. See the LICENSE file at the root of this
- project for complete licensing information.
- Module Name:
- vfp.c
- Abstract:
- This module implements kernel support routines for the Vector Floating
- Point Unit and Advanced SIMD hardware on ARM.
- Author:
- Evan Green 10-Nov-2015
- Environment:
- Kernel
- --*/
- //
- // ------------------------------------------------------------------- Includes
- //
- #include <minoca/kernel/kernel.h>
- #include <minoca/kernel/arm.h>
- //
- // ---------------------------------------------------------------- Definitions
- //
- //
- // Define opcode masks for VFP/NEON instructions.
- //
- #define ARM_VFP_INSTRUCTION_MASK1 0xFF100000
- #define ARM_VFP_INSTRUCTION_VALUE1 0xF4000000
- #define ARM_VFP_INSTRUCTION_MASK2 0xFE000000
- #define ARM_VFP_INSTRUCTION_VALUE2 0xF2000000
- #define THUMB_VFP_INSTRUCTION_MASK1 0xEF000000
- #define THUMB_VFP_INSTRUCTION_VALUE1 0xEF000000
- #define THUMB_VFP_INSTRUCTION_MASK2 0xFF100000
- #define THUMB_VFP_INSTRUCTION_VALUE2 0xFA000000
- #define ARM_COPROCESSOR_INSTRUCTION_MASK 0x0C000000
- #define ARM_COPROCESSOR_INSTRUCTION_VALUE 0x0C000000
- #define ARM_COPROCESSOR_INSTRUCTION_COPROCESSOR_MASK 0x00000F00
- #define ARM_COPROCESSOR_INSTRUCTION_COPROCESSOR_SHIFT 8
- //
- // ------------------------------------------------------ Data Type Definitions
- //
- //
- // ----------------------------------------------- Internal Function Prototypes
- //
- BOOL
- ArpHandleVfpException (
- PTRAP_FRAME TrapFrame
- );
- VOID
- ArpRestoreFpuState (
- PFPU_CONTEXT Context,
- BOOL SimdSupport
- );
- BOOL
- ArpDummyVfpExceptionHandler (
- PTRAP_FRAME TrapFrame
- );
- //
- // -------------------------------------------------------------------- Globals
- //
- PARM_HANDLE_EXCEPTION ArHandleVfpException;
- //
- // Remember if there are 32 or 16 VFP registers.
- //
- BOOL ArVfpRegisters32;
- //
- // ------------------------------------------------------------------ Functions
- //
- VOID
- ArInitializeVfpSupport (
- VOID
- )
- /*++
- Routine Description:
- This routine initializes processor support for the VFP unit, and sets the
- related feature bits in the user shared data.
- Arguments:
- None.
- Return Value:
- None.
- --*/
- {
- ULONG CoprocessorAccess;
- ULONG Extensions;
- ULONG FpsId;
- PARM_HANDLE_EXCEPTION OldHandler;
- ULONG Subarchitecture;
- PUSER_SHARED_DATA UserSharedData;
- UserSharedData = MmGetUserSharedData();
- //
- // Enable access to coprocessors 10 and 11.
- //
- CoprocessorAccess = ArGetCoprocessorAccessRegister();
- CoprocessorAccess &= ~(ARM_COPROCESSOR_ACCESS_MASK(10) |
- ARM_COPROCESSOR_ACCESS_MASK(11));
- CoprocessorAccess |=
- ARM_COPROCESSOR_ACCESS(10, ARM_COPROCESSOR_ACCESS_FULL) |
- ARM_COPROCESSOR_ACCESS(11, ARM_COPROCESSOR_ACCESS_FULL);
- ArSetCoprocessorAccessRegister(CoprocessorAccess);
- //
- // Get the floating point ID register. This register might not exist, so a
- // dummy handler is set up to just return 0 in that case. This kind of
- // thing is obviously only safe during early kernel init, as while the
- // global is set any real FPU exceptions would be completely mishandled.
- //
- OldHandler = ArHandleVfpException;
- ArHandleVfpException = ArpDummyVfpExceptionHandler;
- FpsId = ArGetFloatingPointIdRegister();
- ArHandleVfpException = OldHandler;
- if (FpsId == 0) {
- return;
- }
- if (((FpsId & ARM_FPSID_IMPLEMENTER_MASK) >> ARM_FPSID_IMPLEMENTER_SHIFT) !=
- ARM_FPSID_IMPLEMENTER_ARM) {
- return;
- }
- Subarchitecture = (FpsId & ARM_FPSID_SUBARCHITECTURE_MASK) >>
- ARM_FPSID_SUBARCHITECTURE_SHIFT;
- if (Subarchitecture < ARM_FPSID_SUBARCHITECTURE_VFPV2) {
- return;
- }
- UserSharedData->ProcessorFeatures |= ARM_FEATURE_VFP2;
- ArHandleVfpException = ArpHandleVfpException;
- if (Subarchitecture >= ARM_FPSID_SUBARCHITECTURE_VFPV3_COMMON_V2) {
- UserSharedData->ProcessorFeatures |= ARM_FEATURE_VFP3;
- Extensions = ArGetMvfr0Register();
- if ((Extensions & ARM_MVFR0_SIMD_REGISTERS_MASK) ==
- ARM_MVFR0_SIMD_REGISTERS_32) {
- UserSharedData->ProcessorFeatures |= ARM_FEATURE_NEON32;
- ArVfpRegisters32 = TRUE;
- }
- }
- return;
- }
- VOID
- ArSaveFpuState (
- PFPU_CONTEXT Buffer
- )
- /*++
- Routine Description:
- This routine saves the current FPU context into the given buffer.
- Arguments:
- Buffer - Supplies a pointer to the buffer where the information will be
- saved to.
- Return Value:
- None.
- --*/
- {
- PFPU_CONTEXT AlignedContext;
- AlignedContext = (PVOID)(UINTN)ALIGN_RANGE_UP((UINTN)Buffer,
- FPU_CONTEXT_ALIGNMENT);
- ArSaveVfp(AlignedContext, ArVfpRegisters32);
- return;
- }
- BOOL
- ArCheckForVfpException (
- PTRAP_FRAME TrapFrame,
- ULONG Instruction
- )
- /*++
- Routine Description:
- This routine checks for VFP or NEON undefined instruction faults, and
- potentially handles them if found.
- Arguments:
- TrapFrame - Supplies a pointer to the state immediately before the
- exception.
- Instruction - Supplies the instruction that caused the abort.
- Return Value:
- None.
- --*/
- {
- ULONG Coprocessor;
- BOOL IsVfp;
- IsVfp = FALSE;
- //
- // Check for coprocessor access to CP10 or 11.
- //
- if ((Instruction & ARM_COPROCESSOR_INSTRUCTION_MASK) ==
- ARM_COPROCESSOR_INSTRUCTION_VALUE) {
- Coprocessor = (Instruction &
- ARM_COPROCESSOR_INSTRUCTION_COPROCESSOR_MASK) >>
- ARM_COPROCESSOR_INSTRUCTION_COPROCESSOR_SHIFT;
- if ((Coprocessor == 10) || (Coprocessor == 11)) {
- IsVfp = TRUE;
- }
- } else if ((TrapFrame->Cpsr & PSR_FLAG_THUMB) != 0) {
- if (((Instruction & THUMB_VFP_INSTRUCTION_MASK1) ==
- THUMB_VFP_INSTRUCTION_VALUE1) ||
- ((Instruction & THUMB_VFP_INSTRUCTION_MASK2) ==
- THUMB_VFP_INSTRUCTION_VALUE2)) {
- IsVfp = TRUE;
- }
- } else {
- if (((Instruction & ARM_VFP_INSTRUCTION_MASK1) ==
- ARM_VFP_INSTRUCTION_VALUE1) ||
- ((Instruction & ARM_VFP_INSTRUCTION_MASK2) ==
- ARM_VFP_INSTRUCTION_VALUE2)) {
- IsVfp = TRUE;
- }
- }
- //
- // If it's not a VFP instruction or there is no handler, bail.
- //
- if ((IsVfp == FALSE) || (ArHandleVfpException == NULL)) {
- return FALSE;
- }
- return ArHandleVfpException(TrapFrame);
- }
- VOID
- ArDisableFpu (
- VOID
- )
- /*++
- Routine Description:
- This routine disallows access to the FPU on the current processor, causing
- all future accesses to generate exceptions.
- Arguments:
- None.
- Return Value:
- None.
- --*/
- {
- ArSetVfpExceptionRegister(0);
- return;
- }
- PFPU_CONTEXT
- ArAllocateFpuContext (
- ULONG AllocationTag
- )
- /*++
- Routine Description:
- This routine allocates a buffer that can be used for FPU context.
- Arguments:
- AllocationTag - Supplies the pool allocation tag to use for the allocation.
- Return Value:
- Returns a pointer to the newly allocated FPU context on success.
- NULL on allocation failure.
- --*/
- {
- UINTN AllocationSize;
- PVOID Context;
- PFPU_CONTEXT ContextStructure;
- PUSER_SHARED_DATA UserSharedData;
- AllocationSize = sizeof(FPU_CONTEXT) + FPU_CONTEXT_ALIGNMENT;
- Context = MmAllocateNonPagedPool(AllocationSize, AllocationTag);
- if (Context == NULL) {
- return NULL;
- }
- RtlZeroMemory(Context, AllocationSize);
- ContextStructure = (PVOID)(UINTN)ALIGN_RANGE_UP((UINTN)Context,
- FPU_CONTEXT_ALIGNMENT);
- //
- // Currently the software assist support needed for VFPv2 and older is not
- // implemented. The bounce code usually covers denormalized numbers, so
- // set the flush to zero bit to cover the gap. This is not completely
- // IEEE754 compliant, but is good enough to limp along on these older
- // cores.
- //
- UserSharedData = MmGetUserSharedData();
- if ((UserSharedData->ProcessorFeatures & ARM_FEATURE_VFP3) == 0) {
- ContextStructure->Fpscr = ARM_FPSCR_FLUSH_TO_ZERO |
- ARM_FPSCR_DEFAULT_NAN;
- }
- return Context;
- }
- VOID
- ArDestroyFpuContext (
- PFPU_CONTEXT Context
- )
- /*++
- Routine Description:
- This routine destroys a previously allocated FPU context buffer.
- Arguments:
- Context - Supplies a pointer to the context to destroy.
- Return Value:
- None.
- --*/
- {
- MmFreeNonPagedPool(Context);
- return;
- }
- //
- // --------------------------------------------------------- Internal Functions
- //
- BOOL
- ArpHandleVfpException (
- PTRAP_FRAME TrapFrame
- )
- /*++
- Routine Description:
- This routine handles a floating point access exception.
- Arguments:
- TrapFrame - Supplies a pointer to the exception trap frame.
- Return Value:
- TRUE if the exception was handled.
- FALSE if the exception was not handled.
- --*/
- {
- ULONG Control;
- BOOL Handled;
- RUNLEVEL OldRunLevel;
- PKTHREAD Thread;
- ASSERT(ArAreInterruptsEnabled() != FALSE);
- Handled = FALSE;
- Thread = KeGetCurrentThread();
- //
- // Kernel mode should not be tripping into FPU code, as it would destroy
- // user FPU context without the proper care.
- //
- ASSERT(ArIsTrapFrameFromPrivilegedMode(TrapFrame) == FALSE);
- //
- // If the thread has never used the FPU before, allocate FPU context while
- // still at low level.
- //
- if (Thread->FpuContext == NULL) {
- ASSERT((Thread->FpuFlags & THREAD_FPU_FLAG_IN_USE) == 0);
- Thread->FpuContext =
- ArAllocateFpuContext(PS_FPU_CONTEXT_ALLOCATION_TAG);
- if (Thread->FpuContext == NULL) {
- PsSignalThread(Thread, SIGNAL_BUS_ERROR, NULL, TRUE);
- goto HandleVfpExceptionEnd;
- }
- }
- OldRunLevel = KeRaiseRunLevel(RunLevelDispatch);
- //
- // Enable the FPU. If it is already enabled then this is probably an
- // unsupported FPU instruction.
- //
- Control = ArGetVfpExceptionRegister();
- if ((Control & ARM_FPEXC_ENABLE) != 0) {
- if ((Control & ARM_FPEXC_EXCEPTION) != 0) {
- RtlDebugPrint("VFP Exception: 0x%x\n", Control);
- } else {
- RtlDebugPrint("Unsupported VFP instruction.\n");
- }
- RtlDebugPrint("FPINST 0x%x FPSCR 0x%x\n",
- ArGetVfpInstructionRegister(),
- ArGetFpscr());
- Control &= ~ARM_FPEXC_EXCEPTION;
- ArSetVfpExceptionRegister(Control);
- KeLowerRunLevel(OldRunLevel);
- goto HandleVfpExceptionEnd;
- }
- Control |= ARM_FPEXC_ENABLE;
- ArSetVfpExceptionRegister(Control);
- //
- // Unless the thread already owns the FPU, do a full restore. This also
- // serves as an init for a new FPU user.
- //
- if ((Thread->FpuFlags & THREAD_FPU_FLAG_OWNER) == 0) {
- ArpRestoreFpuState(Thread->FpuContext, ArVfpRegisters32);
- }
- Thread->FpuFlags |= THREAD_FPU_FLAG_OWNER | THREAD_FPU_FLAG_IN_USE;
- KeLowerRunLevel(OldRunLevel);
- Handled = TRUE;
- HandleVfpExceptionEnd:
- return Handled;
- }
- VOID
- ArpRestoreFpuState (
- PFPU_CONTEXT Context,
- BOOL SimdSupport
- )
- /*++
- Routine Description:
- This routine restores the Vector Floating Point unit state into the
- hardware.
- Arguments:
- Context - Supplies a pointer to the context to restore.
- SimdSupport - Supplies a boolean indicating whether the VFP unit contains
- 32 64-bit registers (TRUE) or 16 64-bit registers (FALSE).
- Return Value:
- None.
- --*/
- {
- PFPU_CONTEXT AlignedContext;
- AlignedContext = (PVOID)(UINTN)ALIGN_RANGE_UP((UINTN)Context,
- FPU_CONTEXT_ALIGNMENT);
- ArRestoreVfp(AlignedContext, SimdSupport);
- return;
- }
- BOOL
- ArpDummyVfpExceptionHandler (
- PTRAP_FRAME TrapFrame
- )
- /*++
- Routine Description:
- This routine contains a no-op VFP exception handler, which simply always
- sets R0 to zero. It is used only during early kernel VFP detection.
- Arguments:
- TrapFrame - Supplies a pointer to the exception trap frame.
- Return Value:
- TRUE if the exception was handled.
- FALSE if the exception was not handled.
- --*/
- {
- TrapFrame->R0 = 0;
- return TRUE;
- }
|