ml_io_write

Declaration

void ml_io_write(uintptr_t vaddr, uint64_t val, int size);