/* Interrupt handling */
+/* Initialize Interrupts */
+void ml_init_interrupt(void);
+
/* Get Interrupts Enabled */
boolean_t ml_get_interrupts_enabled(void);
void ml_get_timebase(unsigned long long *timestamp);
+/* Type for the Time Base Enable function */
+typedef void (*time_base_enable_t)(cpu_id_t cpu_id, boolean_t enable);
+
/* Type for the IPI Hander */
typedef void (*ipi_handler_t)(void);
+/* Struct for ml_processor_register */
+struct ml_processor_info {
+ cpu_id_t cpu_id;
+ boolean_t boot_cpu;
+ vm_offset_t start_paddr;
+ boolean_t supports_nap;
+ unsigned long l2cr_value;
+ time_base_enable_t time_base_enable;
+};
+
+typedef struct ml_processor_info ml_processor_info_t;
+
/* Register a processor */
kern_return_t ml_processor_register(
- cpu_id_t cpu_id,
- vm_offset_t start_paddr,
- processor_t *processor,
- ipi_handler_t *ipi_handler,
+ cpu_id_t cpu_id,
+ uint32_t lapic_id,
+ processor_t *processor,
+ ipi_handler_t *ipi_handler,
boolean_t boot_cpu);
/* Initialize Interrupts */
boolean_t ml_probe_read(
vm_offset_t paddr,
unsigned int *val);
+boolean_t ml_probe_read_64(
+ addr64_t paddr,
+ unsigned int *val);
/* Read physical address byte */
unsigned int ml_phys_read_byte(
vm_offset_t paddr);
+unsigned int ml_phys_read_byte_64(
+ addr64_t paddr);
/* Read physical address half word */
unsigned int ml_phys_read_half(
vm_offset_t paddr);
+unsigned int ml_phys_read_half_64(
+ addr64_t paddr);
/* Read physical address word*/
unsigned int ml_phys_read(
vm_offset_t paddr);
+unsigned int ml_phys_read_64(
+ addr64_t paddr);
unsigned int ml_phys_read_word(
vm_offset_t paddr);
+unsigned int ml_phys_read_word_64(
+ addr64_t paddr);
/* Read physical address double word */
unsigned long long ml_phys_read_double(
vm_offset_t paddr);
+unsigned long long ml_phys_read_double_64(
+ addr64_t paddr);
/* Write physical address byte */
void ml_phys_write_byte(
vm_offset_t paddr, unsigned int data);
+void ml_phys_write_byte_64(
+ addr64_t paddr, unsigned int data);
/* Write physical address half word */
void ml_phys_write_half(
vm_offset_t paddr, unsigned int data);
+void ml_phys_write_half_64(
+ addr64_t paddr, unsigned int data);
/* Write physical address word */
void ml_phys_write(
vm_offset_t paddr, unsigned int data);
+void ml_phys_write_64(
+ addr64_t paddr, unsigned int data);
void ml_phys_write_word(
vm_offset_t paddr, unsigned int data);
+void ml_phys_write_word_64(
+ addr64_t paddr, unsigned int data);
/* Write physical address double word */
void ml_phys_write_double(
vm_offset_t paddr, unsigned long long data);
+void ml_phys_write_double_64(
+ addr64_t paddr, unsigned long long data);
void ml_static_mfree(
vm_offset_t,
#endif /* PEXPERT_KERNEL_PRIVATE || MACH_KERNEL_PRIVATE */
+/* Zero bytes starting at a physical address */
+void bzero_phys(
+ addr64_t phys_address,
+ uint32_t length);
+
#ifdef MACH_KERNEL_PRIVATE
-/* check pending timers */
-#define machine_clock_assist()
void machine_idle(void);
int ml_get_max_cpus(
void);
-/* Return the current number of CPUs */
-int ml_get_current_cpus(
- void);
-
#endif /* __APPLE_API_PRIVATE */
#endif /* _I386_MACHINE_ROUTINES_H_ */