PCI_REG_CONFIG
ctx->pm[1] = __raw_readl(ctx->regs + PCI_REG_CONFIG) & 0x0009ffff;
__raw_writel(ctx->pm[1], ctx->regs + PCI_REG_CONFIG);
val = __raw_readl(ctx->regs + PCI_REG_CONFIG);
__raw_writel(val, ctx->regs + PCI_REG_CONFIG);
val = __raw_readl(ctx->regs + PCI_REG_CONFIG);
__raw_writel(val, ctx->regs + PCI_REG_CONFIG);