ml_phys_write_byte_64

Declaration

void ml_phys_write_byte_64(addr64_t paddr, unsigned int data);