/* This function validates the length coded on 8 bytes of a shared memory range */
STATIC VOID EFIAPI ValidateRangeLength8(IN UINT8 *Ptr, IN VOID *Context)
/* This function validates the length coded on 8 bytes of a shared memory range */
STATIC VOID EFIAPI ValidateRangeLength8(IN UINT8 *Ptr, IN VOID *Context)
{
  if (*(UINT64 *)Ptr <= MIN_MEMORY_RANGE_LENGTH) {
    IncrementErrorCount ();
    Print (
      L"\nError: Shared memory range length is too short.\n"
      L"Length is %u when it should be greater than %u",
      *(UINT64 *)Ptr,
      MIN_MEMORY_RANGE_LENGTH
      );
  }
}