nxe_crb_read
intr_scheme = nxe_crb_read(sc, NXE_1_SW_NIC_CAP_FW);
r = nxe_crb_read(sc, NXE_1_SW_CMDPEG_STATE);
r = nxe_crb_read(sc, NXE_1_SW_XG_STATE);
r = nxe_crb_read(sc, NXE_1_SW_BOOTLD_CONFIG);
r = nxe_crb_read(sc, NXE_1_ROMUSB_SW_RESET);
DEVNAME(sc), nxe_crb_read(sc, NXE_1_SW_CMDPEG_STATE));
sc->sc_port = nxe_crb_read(sc, NXE_1_SW_V2P(sc->sc_function));
temp = nxe_crb_read(sc, NXE_1_SW_TEMP);
while ((nxe_crb_read(sc, r) & m) != v) {
*v = nxe_crb_read(sc, NXE_1_ROM_RDATA);
u_int32_t nxe_crb_read(struct nxe_softc *, bus_size_t);
vector = nxe_crb_read(sc, NXE_1_SW_INT_VECTOR);