Compile arch_real_time_clock.cpp and arch_system_info.cpp for x86_64.

2012-07-11 14:43:44 +01:00
parent d776fd53f7
commit 659bacac26
4 changed files with 15 additions and 52 deletions
@@ -534,7 +534,7 @@ extern void			_kern_clear_caches(void *address, size_t length,
 extern bool			_kern_cpu_enabled(int32 cpu);
 extern status_t		_kern_set_cpu_enabled(int32 cpu, bool enabled);

-#ifdef __INTEL__
+#if defined(__INTEL__) || defined(__x86_64__)
 // our only x86 only syscall
 extern status_t		_kern_get_cpuid(cpuid_info *info, uint32 eax, uint32 cpu);
 #endif