void pal_ast_check(thread_t thread);
/* Called by sync_iss_to_iks */
-extern void pal_get_kern_regs( x86_saved_state_t *state );
+extern void pal_get_kern_regs( x86_saved_state_t *state ) __dead2;
/*
* Platform-specific hlt/sti.
/* Include a PAL-specific header, too, for xnu-internal overrides */
#include <i386/pal_native.h>
+#define PAL_XCPM_PROPERTY_VALUE 3
extern boolean_t virtualized;
#define PAL_VIRTUALIZED_PROPERTY_VALUE 4
pal_get_resource_property(const char **property_name, int *property_value)
{
*property_name = PAL_AICPM_PROPERTY_NAME;
- *property_value = PAL_AICPM_PROPERTY_VALUE;
+ *property_value = PAL_XCPM_PROPERTY_VALUE;
if (virtualized) {
*property_value = PAL_VIRTUALIZED_PROPERTY_VALUE;
}