ml_phys_write_double Declarationvoid ml_phys_write_double(vm_offset_t paddr, unsigned long long data);