/* Special handler for fault exception. Rip/Eip in SystemContext will be modified to the instruction after the exception instruction. */
VOID EFIAPI AdjustRipForFaultHandler(IN EFI_EXCEPTION_TYPE ExceptionType, IN EFI_SYSTEM_CONTEXT SystemContext)
/* Special handler for fault exception. Rip/Eip in SystemContext will be modified to the instruction after the exception instruction. */
VOID EFIAPI AdjustRipForFaultHandler(IN EFI_EXCEPTION_TYPE ExceptionType, IN EFI_SYSTEM_CONTEXT SystemContext)
{
  mExceptionType                       = ExceptionType;
  SystemContext.SystemContextX64->Rip += mFaultInstructionLength;
}