ml_io_write32

Declaration

void ml_io_write32(uintptr_t vaddr, uint32_t val);