DF2_INTLV_NUM_SOCKETS
sockets = FIELD_GET(DF2_INTLV_NUM_SOCKETS, ctx->map.limit);
sockets = FIELD_GET(DF2_INTLV_NUM_SOCKETS, ctx->map.base);