Aborting does not establish that in-flight DMA has stopped. Teardown must
drain those reads before reclaiming resources.
204def transferSourceReusable =
205 (lambda unrestricted phase : (family TransferPhase) .
206 (let unrestricted code =
207 (transferPhaseCode phase)
208 in
209 (naturalAnd (naturalLessOrEqual 2 code) (naturalLessOrEqual code 5))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.