/* Initialize a work space when there is no work space. */
EFI_STATUS InitWorkSpaceHeader(IN EFI_FAULT_TOLERANT_WORKING_BLOCK_HEADER *WorkingHeader)
/* Initialize a work space when there is no work space. */
EFI_STATUS InitWorkSpaceHeader(IN EFI_FAULT_TOLERANT_WORKING_BLOCK_HEADER *WorkingHeader)
{
  if (WorkingHeader == NULL) {
    return EFI_INVALID_PARAMETER;
  }
  CopyMem (WorkingHeader, &mWorkingBlockHeader, sizeof (EFI_FAULT_TOLERANT_WORKING_BLOCK_HEADER));
  return EFI_SUCCESS;
}