/* 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.SystemContextIa32->Eip += mFaultInstructionLength;
}