ml_phys_write_double_64

Declaration

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