HWS_REG_CTL
u32 ctl_reg = readl(hws->bar0_base + HWS_REG_CTL);
writel(ctl_reg, hws->bar0_base + HWS_REG_CTL);
(void)readl(hws->bar0_base + HWS_REG_CTL); /* flush write */