/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2005 Apple Computer, Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
#include <kern/debug.h>
#include <kern/sched_prim.h>
+
/* extern references */
void pe_identify_machine(void);
void PE_init_platform(boolean_t vm_initialized, void *_args)
{
- boot_args *args = (boot_args *)_args;
+ DTEntry dsouth, dnorth, root, dcpu;
+ char *model;
+ int msize, size;
+ uint32_t *south, *north, *pdata, *ddata;
+ int i;
+
+ boot_args *args = (boot_args *)_args;
if (PE_state.initialized == FALSE)
{
else
{
pe_init_debug();
+
}
}