unsigned long arch_flags = 0;
-uintptr_t page_mask;
-uintptr_t page_size;
+uintptr_t page_mask = 0;
+uintptr_t page_size = 0;
static const char *fio_os_strings[os_nr] = {
"Invalid",
return 1;
}
+#if !defined(CONFIG_GETTIMEOFDAY) && !defined(CONFIG_CLOCK_GETTIME)
+#error "No available clock source!"
+#endif
+
arch_init(envp);
sinit();