HWS_REG_INT_STATUS
readl(pdx->bar0_base + HWS_REG_INT_STATUS));
int_state = readl_relaxed(pdx->bar0_base + HWS_REG_INT_STATUS);
writel(int_state, pdx->bar0_base + HWS_REG_INT_STATUS);
(void)readl_relaxed(pdx->bar0_base + HWS_REG_INT_STATUS);
int_state = readl_relaxed(pdx->bar0_base + HWS_REG_INT_STATUS);
writel(vbit, pdx->bar0_base + HWS_REG_INT_STATUS);
(void)readl_relaxed(pdx->bar0_base + HWS_REG_INT_STATUS);
int_state = readl_relaxed(pdx->bar0_base + HWS_REG_INT_STATUS);
int_status = readl(hws->bar0_base + HWS_REG_INT_STATUS);
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS); /* flush posted writes */
u32 st = readl(hws->bar0_base + HWS_REG_INT_STATUS);
writel(st, hws->bar0_base + HWS_REG_INT_STATUS); /* W1C */
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS);
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS); /* flush */
writel(ackmask, hws->bar0_base + HWS_REG_INT_STATUS);
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS);
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS);
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS);
u32 st = readl(hws->bar0_base + HWS_REG_INT_STATUS);
writel(st, hws->bar0_base + HWS_REG_INT_STATUS); /* W1C */
(void)readl(hws->bar0_base + HWS_REG_INT_STATUS);
readl(pdx->bar0_base + HWS_REG_INT_STATUS);