/* Append key point of a given address to Buffer if buffer is NULL, only count needed count */
VOID AppendKeyPointToBuffer(IN OUT UINT64 *Buffer, IN OUT UINTN *Count, IN UINT64 Address)
/* Append key point of a given address to Buffer if buffer is NULL, only count needed count */
VOID AppendKeyPointToBuffer(IN OUT UINT64 *Buffer, IN OUT UINTN *Count, IN UINT64 Address)
{
  if ( Buffer != NULL) {
    Buffer[*Count] = Address;
    (*Count)++;
    Buffer[*Count] = Address+1;
    (*Count)++;
    Buffer[*Count] = Address-1;
    (*Count)++;
  } else {
    (*Count) = (*Count) +3;
  }
}