ml_io_write64

Declaration

void ml_io_write64(uintptr_t vaddr, uint64_t val);