DF_ADDR_RANGE_VAL
return FIELD_GET(DF_ADDR_RANGE_VAL, ctx->map.ctl);
return FIELD_GET(DF_ADDR_RANGE_VAL, ctx->map.base);