/*
- * Copyright (c) 2009 Apple Inc. All rights reserved.
+ * Copyright (c) 2009-2012 Apple Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
#ifdef XNU_KERNEL_PRIVATE
/* Define any PAL-specific types for x86 */
-#ifdef __i386__
-typedef uint32_t pal_cr_t;
-#else
typedef uint64_t pal_cr_t;
-#endif
struct pal_cpu_data; /* Defined per-platform */
struct pal_pcb; /* Defined per-platform */
#include <i386/pal_native.h>
+extern boolean_t virtualized;
+#define PAL_VIRTUALIZED_PROPERTY_VALUE 4
+
/* Allow for tricky IOKit property matching */
#define PAL_AICPM_PROPERTY_NAME "intel_cpupm_matching"
static inline void
{
*property_name = PAL_AICPM_PROPERTY_NAME;
*property_value = PAL_AICPM_PROPERTY_VALUE;
+ if (virtualized)
+ *property_value = PAL_VIRTUALIZED_PROPERTY_VALUE;
}
/* assembly function to update TSC / timebase info */