The text cb244f9a74bd, as Debian 13 (Trixie) shipped it.
allocates device memory (DM)
mlx5dv_alloc_dm(3) on Linux now
