VE_CTRL_INT_DE
VE_CTRL_INT_DE | VE_CTRL_DIRECT_FETCH,
VE_CTRL_INT_DE);
ctrl |= VE_CTRL_INT_DE;
VE_CTRL_INT_DE | VE_CTRL_DIRECT_FETCH,
FIELD_GET(VE_CTRL_INT_DE, val08) ? "16" : "32");
FIELD_GET(VE_CTRL_INT_DE, val08) ?