BNX_CTX_STATUS
val1 = REG_RD(sc, BNX_CTX_STATUS);
BNX_PRINTF(sc, "0x%08X : (0x%04X) ctx_status\n", val1, BNX_CTX_STATUS);