/* Patch a character to the end of a string. */
VOID EFIAPI PatchForAsciiStrTokenAfter(IN CHAR8 *Buffer, IN CHAR8 Patch)
/* Patch a character to the end of a string. */
VOID EFIAPI PatchForAsciiStrTokenAfter(IN CHAR8 *Buffer, IN CHAR8 Patch)
{
  CHAR8  *Str;
  if (Buffer == NULL) {
    return;
  }
  Str = Buffer;
  while (*Str != 0) {
    Str++;
  }
  *Str = Patch;
  while (*(Str++) != '\0') {
    if (*Str == 0) {
      *Str = Patch;
    } else {
      break;
    }
  }
  return;
}