/* ‘G XX...’ Writes the new values received into the input buffer to the general registers */
VOID EFIAPI WriteGeneralRegisters(IN EFI_SYSTEM_CONTEXT SystemContext, IN CHAR8 *InBuffer)
/* ‘G XX...’ Writes the new values received into the input buffer to the general registers */
VOID EFIAPI WriteGeneralRegisters(IN EFI_SYSTEM_CONTEXT SystemContext, IN CHAR8 *InBuffer)
{
  UINTN  i;
  CHAR8  *InBufPtr;
  if (AsciiStrLen (InBuffer) != 129) {
    SendError (GDB_EBADBUFSIZE);
    return;
  }
  InBufPtr = &InBuffer[1];
  for (i = 0; i < MaxRegisterCount (); i++) {
    InBufPtr = BasicWriteRegister (SystemContext, i, InBufPtr);
  }
  SendSuccess ();
}