the QMD table: a record per launch of the plan at the card's record
stride, to the page; parameter blocks the program region cannot hold
spill past it
47def coppeliusQMDTableBytesFor =
48 (lambda unrestricted recordBytes : Nat .
49 (nvidiaPlanHostRoundUp (naturalMultiply coppeliusLaunchCount recordBytes) nvidiaPlanHostMappingUnit))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.