-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);