*/
#include <command.h>
+#include <compiler.h>
#include <efi_api.h>
#include <display_options.h>
#include <log.h>
ut_assert_console_end();
/* 64-bit */
- print_buffer(0, buf, 8, 3, 0);
- ut_assert_nextline("00000000: 7766554433221100 ffeeddccbbaa9988 ..\"3DUfw........");
- ut_assert_nextline("00000010: 0000000000000010 ........");
- ut_assert_console_end();
+ if (MEM_SUPPORT_64BIT_DATA) {
+ print_buffer(0, buf, 8, 3, 0);
+ ut_assert_nextline("00000000: 7766554433221100 ffeeddccbbaa9988 ..\"3DUfw........");
+ ut_assert_nextline("00000010: 0000000000000010 ........");
+ ut_assert_console_end();
+ }
/* ASCII */
buf[1] = 31;