ml_io_write16

Declaration

void ml_io_write16(uintptr_t vaddr, uint16_t val);