# CONFIG_TEE_DMABUF_HEAPS is not set
