PNTX_WRITE
PNTX_WRITE(sc, 0xe4, 0x3); /* 64-bit */
PNTX_WRITE(sc, PCIR_BAR(0), val64);
PNTX_WRITE(sc, PCIR_BAR(0) + 4, val64 >> 32);
PNTX_WRITE(sc, 0xe4, 0x2); /* 32-bit */
PNTX_WRITE(sc, PCIR_BAR(0), val);
PNTX_WRITE(sc, 0xc94, 0);
PNTX_WRITE(sc, 0xdb4 + i * 2,
PNTX_WRITE(sc, PCIR_COMMAND, PCIM_CMD_MEMEN | PCIM_CMD_BUSMASTEREN);
PNTX_WRITE(sc, 0xe8 + (mw->mw_bar - 2) * 4, val64);
PNTX_WRITE(sc, 0xe8 + (mw->mw_bar - 2) * 4 + 4, val64 >> 32);
PNTX_WRITE(sc, PCIR_BAR(mw->mw_bar), val64);
PNTX_WRITE(sc, PCIR_BAR(mw->mw_bar) + 4, val64 >> 32);
PNTX_WRITE(sc, 0xe8 + (mw->mw_bar - 2) * 4, val);
PNTX_WRITE(sc, PCIR_BAR(mw->mw_bar), val64);
PNTX_WRITE(sc, 0xc3c + (mw->mw_bar - 2) * 4, addr);
PNTX_WRITE(sc, 0xc3c + (mw->mw_bar - 2) * 4 + 4, addr >> 32);
PNTX_WRITE(sc, 0xc3c + (mw->mw_bar - 2) * 4, addr);