/* ‘g’ Reads the general registers into an output buffer and sends it as a packet */
VOID EFIAPI ReadGeneralRegisters(IN EFI_SYSTEM_CONTEXT SystemContext)
/* ‘g’ Reads the general registers into an output buffer and sends it as a packet */
VOID EFIAPI ReadGeneralRegisters(IN EFI_SYSTEM_CONTEXT SystemContext)
{
  UINTN  i;
  CHAR8  OutBuffer[129];
  CHAR8  *OutBufPtr;
  OutBufPtr = OutBuffer;
  for (i = 0; i < MaxRegisterCount (); i++) {
    OutBufPtr = BasicReadRegister (SystemContext, i, OutBufPtr);
  }
  *OutBufPtr = '\0';
  SendPacket (OutBuffer);
}