virt_ctrl_write32
virt_ctrl_write32(CMD_HALT, ctrl->base + VIRT_CTRL_REG_CMD);
virt_ctrl_write32(CMD_RESET, ctrl->base + VIRT_CTRL_REG_CMD);