BNX_CTX_STATUS   5778 dev/pci/if_bnx.c 	val1 = REG_RD(sc, BNX_CTX_STATUS);
BNX_CTX_STATUS   5779 dev/pci/if_bnx.c 	BNX_PRINTF(sc, "0x%08X : (0x%04X) ctx_status\n", val1, BNX_CTX_STATUS);