The text 87700eb7ad94, as Debian 12 (Bookworm) shipped it.
allocates device memory (DM)
mlx5dv_alloc_dm(3) on Linux now
