Index: src/platform/vboot_reference/tests/big_kernel_tests.c |
diff --git a/src/platform/vboot_reference/tests/big_kernel_tests.c b/src/platform/vboot_reference/tests/big_kernel_tests.c |
index b768f284a2024e7936ac2b144ebcd62759fa7c27..7fc5fb36b5c8407968c9b49bddbf0e75c420fd7d 100644 |
--- a/src/platform/vboot_reference/tests/big_kernel_tests.c |
+++ b/src/platform/vboot_reference/tests/big_kernel_tests.c |
@@ -16,7 +16,7 @@ |
#include "utility.h" |
/* Choose a kernel size greater than the range of 32-bits unsigned. */ |
-#define BIG_KERNEL_SIZE ((uint64_t) 0x100000000ULL) |
+#define BIG_KERNEL_SIZE UINT64_C(0x100000000) |
#define FIRMWARE_KEY_BASE_NAME "testkeys/key_rsa2048" |
#define KERNEL_KEY_BASE_NAME "testkeys/key_rsa1024" |