#include <mach/mach_types.h>
#include <mach/boolean.h>
#include <kern/kern_types.h>
-#include <kern/sched_prim.h>
#include <pexpert/pexpert.h>
#include <sys/appleapiopts.h>
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*/
+/* Read physical address */
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 */
+/* Write physical address */
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);
/* Struct for ml_processor_register */
struct ml_processor_info_t {
boolean_t fake_set_interrupts_enabled(
boolean_t enable);
+/* check pending timers */
+void machine_clock_assist(void);
+
void machine_idle(void);
void machine_signal_idle(