pub const DEVICE_DSP: u32 = 9_024;
Physical DSP48E2 count of the xcu280 (device data sheet). Hard ceiling on any DSP budget.