ml_phys_write_double_64 Declarationvoid ml_phys_write_double_64(addr64_t paddr, unsigned long long data);