Use UINT64_C macros from stdint.h.

src/platform/vboot_reference/tests/big_firmware_tests.c

 /* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  *
  * Tests if firmware image library deals with very large firmware. This
  * is a quick and dirty test for detecting integer overflow issues.
  */
 
 #include <stdio.h>
 #include <stdlib.h>
 
 #include "file_keys.h"
 #include "firmware_image.h"
 #include "rsa_utility.h"
 #include "test_common.h"
 #include "utility.h"
 
 /* Choose a firmware size greater than the range of 32-bits unsigned. */
-#define BIG_FIRMWARE_SIZE ((uint64_t) 0x100000000ULL)
+#define BIG_FIRMWARE_SIZE UINT64_C(0x100000000)
 
 #define ROOT_KEY_BASE_NAME "testkeys/key_rsa8192"
 #define FIRMWARE_KEY_BASE_NAME "testkeys/key_rsa1024"
 
 const char* kRootKeyPublicFile = ROOT_KEY_BASE_NAME ".keyb";
 const char* kRootKeyFile = ROOT_KEY_BASE_NAME ".pem";
 const char* kFirmwareKeyPublicFile = FIRMWARE_KEY_BASE_NAME ".keyb";
 const char* kFirmwareKeyFile = FIRMWARE_KEY_BASE_NAME ".pem";
 
 int BigFirmwareTest(void) {
@@ skipping 35 matching lines @@
 }
 
 int main(int argc, char* argv[1])
 {
   int error_code = 0;
   error_code = BigFirmwareTest();
   if (!gTestSuccess)
     error_code = 255;
   return error_code;
 }